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 -