Ralf Hinze. Prolog s Control Constructs in a Functional Setting - Axioms and Implementation. Int. J. Found. Comput. Sci., 12(2):125-170, 2001.
@article{Hinze01, title = {Prolog s Control Constructs in a Functional Setting - Axioms and Implementation}, author = {Ralf Hinze}, year = {2001}, tags = {Prolog}, researchr = {https://researchr.org/publication/Hinze01}, cites = {0}, citedby = {0}, journal = {Int. J. Found. Comput. Sci.}, volume = {12}, number = {2}, pages = {125-170}, }