CLP(R) and Some Electrical Engineering Problems (1991)

by Nevin Heintze, Spiro Michaylov, Peter Stuckey
Venue:Journal of Automated Reasoning