CLP(R) and Some Electrical Engineering Problems.

Nevin Heintze Spiro Michaylov Peter J. Stuckey CLP(R) and Some Electrical Engineering Problems. 231-260 1992 9 J. Autom. Reasoning 2 db/journals/jar/jar9.html#HeintzeMS92