Reflection in constructive and nonconstructive automated reasoning (1989)

by F Giunchiglia, A Smaill
Venue:Proc. Workshop on Meta-Programming in Logic Programming