@article{Vil04a,
title = {{Model Checking for the Concurrent Constraint Paradigm (Phd Abstract)}},
author = {Villanueva, A.},
journal = {Bulletin of the European Association for Theoretical Computer Science EATCS},
number = 82,
pages = {389--392},
month = feb,
year = 2004
}