@inproceedings{conf/dagstuhl/Cussens07,
	title = {Model equivalence of PRISM programs.},
	author = {James Cussens},
	booktitle = {Probabilistic, Logical and Relational Learning - A Further Synthesis},
	crossref = {conf/dagstuhl/2007P7161},
	editor = {Luc De Raedt and Thomas G. Dietterich and Lise Getoor and Kristian Kersting and Stephen Muggleton},
	publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
	series = {Dagstuhl Seminar Proceedings},
	url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P7161.html#Cussens07},
	volume = {07161},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/29eec907873c247328004e15b90e6cf1c/dblp},
	description = {dblp},
	date = {2008-05-14}, ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1380},
	keywords = {dblp }
}