@PROCEEDINGS{KonevSchmidtSchulz08,
EDITOR = {Konev, B. and Schmidt, R. A. and Schulz, S.},
YEAR = {2008},
TITLE = {Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning (PAAR-2008/ESHOL-2008), Sydney, Australia, August 10--11, 2008},
PUBLISHER = {CEUR Workshop Proceedings},
ISSN = {1613-0073},
NOTE = {Online \url{CEUR-WS.org/Vol-373/}},
URL = {\url{CEUR-WS.org/Vol-373/}},
}