Laurent Fribourg;Franco Turini
-;-
Meta-reasoning: A Survey
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)