Continuation semantics for Prolog with cut (1989)

by Arie de Bruin, Erik P de Vink
Venue:TAPSOFT’89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, number 351 in Lecture Notes in Computer Science