Văn bản này: The dlv System: Model Generator and Advanced Frontends (system description)