@inproceedings{conf/wcflp/Hanus05,
	title = {A generic analysis environment for declarative programs.},
	author = {Michael Hanus},
	booktitle = {WCFLP},
	crossref = {conf/wcflp/2005},
	editor = {Sergio Antoy and Michael Hanus},
	pages = {43-48},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/wcflp/wcflp2005.html#Hanus05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2a814bfe1f69cd3234db51e62edd98d88/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1085099.1085108}, isbn = {1-59593-069-8}, date = {2007-11-09},
	keywords = {dblp }
}