author : Howard A. Blair

Short works

• Metalogic programming and direct universal computability. 1989. (In Meta-Programming in Logic Programming )