@PROCEEDINGS{KonevSchmidtSchulz10,
EDITOR = {Schmidt, Renate A. and Schulz, Stephan and Konev, Boris},
YEAR = {2012},
TITLE = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
SERIES = {EPiC Series},
VOLUME = {9},
PUBLISHER = {EasyChair},
ISBN = {2040-557X},
}