@inproceedings { ICLP08Tsitovich,
	title = {Detection of Security Vulnerabilities Using Guided Model Checking},
	booktitle = {24th International Conference on Logic Programming (ICLP)},
	volume = {5366},
	year = {2008},
	note = {Extended abstract},
	pages = {822 - 823},
	publisher = {Springer},
	organization = {Springer},
	address = {Udine, Italy},
	URL = {http://dx.doi.org/10.1007/978-3-540-89982-2_90},
	author = {Tsitovich, Aliaksei}
}