Reflection in Constructive and Non-Constructive Automated Reasoning
by Fausto Giunchiglia
and Alan Smaill
Meta-Programming in Logic Programming, H. Abramson and M.H. Rogers (eds.), pp. 123-140, MIT Press, 1989.
Sorry, there are no downloadable files available for this document at this time.
