TY  - JOUR
TI  - Towards automated integration of guess and check programs in answer set programming: A meta-interpreter and applications
SP  - 23
EP  - 60
PY  - 2006-10-01
JO  - Theory and Practice of Logic Programming
AU  - Polleres, Axel 
AU  - Eiter, Thomas 
ER -