Computation and Complexity Theory (CT) Series (1988-1998)

CT-1993-01:
Marianne Kalsbeek The Vanilla Meta-Interpreter for Definite Logic Programs and Ambivalent Syntax
1.Full Text.