Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck. Sequence-based abstract interpretation of Prolog. TPLP, 2(1):25-84, 2002.
@article{CharlierRH02, title = {Sequence-based abstract interpretation of Prolog}, author = {Baudouin Le Charlier and Sabina Rossi and Pascal Van Hentenryck}, year = {2002}, tags = {Prolog, rule-based, Pascal}, researchr = {https://researchr.org/publication/CharlierRH02}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {2}, number = {1}, pages = {25-84}, }