@inproceedings{corsini1993abstractinterpretation,
author	=	{Marc-Michel Corsini and Baudoin Le~Charlier and Kaninda Musumbu and Antoine Rauzy},
title	=	{{E}fficient {A}bstract {I}nterpretation of {P}rolog {P}rograms by means of {C}onstraint {S}olving over {F}inite {D}omains},
booktitle	=	{Proceedings of the 5th Int. Symposium on Programming Language Implementation and Logic Programming, PLILP'93},
address	=	{Tallin, Estonia},
publisher	=	{Springer Berlin Heidelberg},
editor	=	{Maurice Bruynooghe and Jaan Penjam},
series	=	{LNCS},
volume	=	{714},
pages	=	{75--91},
year	=	{1993},
doi	=	{10.1007/3-540-57186-8-72}
}