Göran Båge, Gary Lindstrom. Combinator Evaluation of Functional Programs with Logical Variables. Higher-Order and Symbolic Computation, 3(3):289-320, 1990.
@article{BageL90, title = {Combinator Evaluation of Functional Programs with Logical Variables}, author = {Göran Båge and Gary Lindstrom}, year = {1990}, tags = {functional programming}, researchr = {https://researchr.org/publication/BageL90}, cites = {0}, citedby = {0}, journal = {Higher-Order and Symbolic Computation}, volume = {3}, number = {3}, pages = {289-320}, }