author : Alan Smaill

Short works

• Reflection in constructive and non-constructive automated reasoning. 1989. (In Meta-Programming in Logic Programming )