Skip to main content
PRL Project

Reflection in Constructive and Non-Constructive Automated Reasoning

by Fausto Giunchiglia, Alan Smaill
1989

In: Meta-Programming in Logic Programming

bibTex ref: GS89


cite link