@article{journals/corr/cs-CR-0312025,
	title = {Soft Constraint Programming to Analysing Security Protocols},
	author = {Giampaolo Bella and Stefano Bistarelli},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0312.html#cs-CR-0312025},
	volume = {cs.CR/0312025},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2e69dc81347ec4de2b0ffb6dff89998e8/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/cs.CR/0312025}, date = {2008-01-02},
	keywords = {dblp }
}