Meta-reasoning: a survey (2002)

by S Costantini
Venue:Computational Logic: From Logic Programming into the Future: Special volume in honour of Bob Kowalski (in print