On supporting the development of answer-set programs using model-driven engineering techniques / Paula-Andra, Busoniu. 2013
Inhalt