Proc. of the 5th Int. Conf. and Symp. on LP, K. Bowen and R. Kowalski (eds.), MIT Press

• Nadathur, G., and Miller, D.A. (1989) Nadathur, G., and Miller, D.A. "An Overview of *Prolog" pp1180-1198