@inproceedings{KDIR-2011-KuhlweinUTGH,
	author        = "Daniel Kühlwein and Josef Urban and Evgeni Tsivtsivadze and Herman Geuvers and Tom Heskes",
	booktitle     = "{Proceedings of the Third International Conference on Knowledge Discovery and Information Retrieval}",
	isbn          = "978-989-8425-79-9",
	pages         = "42--51",
	publisher     = "{SciTePress}",
	title         = "{Multi-output Ranking for Automated Reasoning}",
	year          = 2011,
}