CLP(R) and some electrical engineering problems. Journal of Automated Reasoning (1998)

by N C Heintze, S Michaylov, P J Stuckey
Venue:of PPCP98