Jael Kriener, Andy King
Semantics for Prolog with Cut — Revisited
FLOPS, 2014.
@inproceedings{FLOPS-2014-KrienerK, author = "Jael Kriener and Andy King", booktitle = "{Proceedings of the 12th International Symposium on Functional and Logic Programming}", doi = "10.1007/978-3-319-07151-0_17", isbn = "978-3-319-07150-3", pages = "270--284", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Semantics for Prolog with Cut — Revisited}", volume = 8475, year = 2014, }