Nevin Heintze, Spiro Michaylov, Peter J. Stuckey. CLP(R) and Some Electrical Engineering Problems. In ICLP. pages 675-703, 1987.
@inproceedings{HeintzeMS87, title = {CLP(R) and Some Electrical Engineering Problems}, author = {Nevin Heintze and Spiro Michaylov and Peter J. Stuckey}, year = {1987}, researchr = {https://researchr.org/publication/HeintzeMS87}, cites = {0}, citedby = {0}, pages = {675-703}, booktitle = {ICLP}, }