Arie de Bruin, Erik P. de Vink
Continuation Semantics for PROLOG with Cut
TAPSOFT, 1989.
@inproceedings{CAAP-1989-BruinV, author = "Arie de Bruin and Erik P. de Vink", booktitle = "{Proceedings of the Third International Joint Conference on Theory and Practice of Software Development, Volume 1: Colloquium on Trees in Algebra and Programming}", doi = "10.1007/3-540-50939-9_132", isbn = "3-540-50939-9", pages = "178--192", publisher = "{Springer}", title = "{Continuation Semantics for PROLOG with Cut}", year = 1989, }