Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008

Boris Konev Renate A. Schmidt Stephan Schulz Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008 PAAR/ESHOL CEUR-WS.org CEUR Workshop Proceedings 373 2008 db/conf/cade/paar2008.html