| Title | Finite-Tree Analysis for Constraint Logic-Based Languages |
| Publication Type | Conference Paper |
| Year of Publication | 2001 |
| Authors | Bagnara R, Gori R, Hill PM, Zaffanella E |
| Editor | Cousot P |
| Conference Name | Static Analysis: 8th International Symposium, SAS 2001 |
| Publisher | Springer-Verlag, Berlin |
| Conference Location | Paris, France |
| ISBN Number | 3-540-42314-1 |
| Keywords | abstract interpretation, logic programming, occurs-check, rational unification, software verification, static analysis |
| DOI | 10.1007/3-540-47764-0_10 |
| Refereed Designation | Refereed |
