Yves Caseau. Abstract Interpretation of Constraints on Order-Sorted Domains. In ISLP. pages 435-452, 1991.
@inproceedings{Caseau91:0, title = {Abstract Interpretation of Constraints on Order-Sorted Domains}, author = {Yves Caseau}, year = {1991}, tags = {constraints}, researchr = {https://researchr.org/publication/Caseau91%3A0}, cites = {0}, citedby = {0}, pages = {435-452}, booktitle = {ISLP}, }