Reflection in Constructive and Non-constructive Automated Reasoning (1990)

by F Giunchiglia, A Smaill
Venue:In Machine Learning, Meta-Reasoning and Logics. (Edited by