Qualitative theorem proving in linear constraints (2003)

by V Chandru, J-L Lassez
Venue:In Verification: Theory and Practice