Reflection in constructive and non-constructive automated reasoning (1988)

by F Giunchiglia, A Smaill
Venue:University of Edinburgh