Modelling Prolog control (1992)

by R Barbuti, M Codish, R Giacobazzi, G Levi
Venue:In Proceedings of POPL'92