@inproceedings{corsini1994crossfertilization,
author	=	{Marc-Michel Corsini and Antoine Rauzy},
title	=	{{S}ymbolic {M}odel {C}hecking and {C}onstraint {L}ogic {P}rogramming: a {C}ross-{F}ertilization},
booktitle	=	{Proceedings of the European Symposium on Programming ESOP'94},
editor	=	{Don Sannella},
publisher	=	{Springer Verlag},
series	=	{LNCS},
volume	=	{788},
pages	=	{180--194},
year	=	{1994}
}