Nevin Heintze, Spiro Michaylov, Peter J. Stuckey. CLP(R) and Some Electrical Engineering Problems. Journal of Automated Reasoning, 9(2):231-260, 1992.
@article{HeintzeMS92,
title = {CLP(R) and Some Electrical Engineering Problems},
author = {Nevin Heintze and Spiro Michaylov and Peter J. Stuckey},
year = {1992},
researchr = {https://researchr.org/publication/HeintzeMS92},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {9},
number = {2},
pages = {231-260},
}