Towards a WAM model for λProlog (1989)

by G Nadathur, B Jayaraman
Venue:the Proceedings of the North American Conference on Logic Programming