Andreas Podelski, Gert Smolka. Operational Semantics of Constraint Logic Programs with Coroutining. In ICLP. pages 449-463, 1995.
@inproceedings{PodelskiS95, title = {Operational Semantics of Constraint Logic Programs with Coroutining}, author = {Andreas Podelski and Gert Smolka}, year = {1995}, tags = {semantics, constraints, logic programming, operational semantics, logic}, researchr = {https://researchr.org/publication/PodelskiS95}, cites = {0}, citedby = {0}, pages = {449-463}, booktitle = {ICLP}, }