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.