@PROCEEDINGS{FontaineSchmidtSchulz12,
EDITOR = {Fontaine, P. and Schmidt, R. A. and Schulz, S.},
YEAR = {2013},
TITLE = {PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning},
SERIES = {EPiC Series},
VOLUME = {21},
PUBLISHER = {EasyChair},
ISBN = {2040-557X},
URL = {http://www.easychair.org/publications/?page=1924317986},
}