@article{Vil04b,
title = {{Model Checking for the Concurrent Constraint Paradigm (Phd Abstract)}},
author = {Villanueva, A.},
journal = {The European Journal on Artificial Intelligence. AI Communications},
number = 2,
volume = 17,
pages = {93-94},
year = 2004
}