Meta-reasoning: A Survey (2002)

by S Costantini
Venue:In Kakas, A.C., Sadri, F. (Eds.): Computational Logic: Logic Programming and Beyond