T. Eiter, A. Polleres: "Towards Automated Integration of Guess and Check Programs in Answer Set Programming: A Meta-Interpreter and Applications"; Theory and Practice of Logic Programming, 6 (2006), 1-2; 23 - 60.