Automatic Verification Based on Abstract Interpretation.

Published in: Fuji International Symposium on Functional and Logic Programming (1999)