@article{QAPL-2004-AlpuenteGPV05,
	author        = "María Alpuente and María-del-Mar Gallardo and Ernesto Pimentel and Alicia Villanueva",
	doi           = "10.1016/j.entcs.2004.01.024",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	pages         = "19--36",
	title         = "{Abstract Model Checking of tccp programs}",
	volume        = 112,
	year          = 2005,
}