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

Cached

Download Links

by Nevin Heintze , Spiro Michaylov , Peter Stuckey
Venue:Journal of Automated Reasoning
Citations:35 - 5 self