この資料をSMS送信: The dlv System: Model Generator and Advanced Frontends (system description)