Towards a WAM model for Prolog (1989)

by G Nadathur, B Jayaraman
Venue:1st North American Conf. Logic Programming