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

CT-1998-04:
Ghica van Emde Boas-Lubsen, Peter van Emde Boas Compiling Horn-Clause Rules in IBM's Business System 12 - an Early Experiment in Declarativeness
1.Full Text, 2.Abstract.