@inproceedings{Beierle:2010,
	Author = {Christoph Beierle and Marc Finthammer and Gabriele Kern-Isberner and Matthias Thimm},
	Booktitle = {Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR'10)},
	Editor = {J{\"u}rgen Giesl and Reiner H{\"a}hnle},
	Location = {Edinburgh, UK},
	Month = {July},
	Number = {6173},
	Series = {Lecture Notes in Computer Science},
	Title = {Automated Reasoning for Relational Probabilistic Knowledge Representation},
	Year = {2010}}