@inproceedings{StuST-IJCAR-14,
	Author = {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli},
	Booktitle = {Proceedings of the 7th International Joint Conference on Automated Reasoning},
	Editor = {S.~Demri and D.~Kapur and C.~Weidenbach},
	Publisher = {Springer},
	Series = {Lecture Notes in Artificial Intelligence},
	Title = {StarExec: a Cross-Community Infrastructure for Logic Solving},
	Year = {2014}}