Volume
@proceedings{PAAR-2010,
title = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
series = {EPiC Series in Computing},
volume = {9},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{PAAR-2010:Three_Years_of_Experience,
author = {Lawrence Paulson},
title = {Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers},
booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
series = {EPiC Series in Computing},
volume = {9},
pages = {1--10},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Mzp},
doi = {10.29007/tnfd}}
@inproceedings{PAAR-2010:Automated_Reasoning_in_Simulation,
author = {Djihed Afifi and David Rydeheard and Howard Barringer},
title = {Automated Reasoning in the Simulation of Evolvable Systems},
booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
series = {EPiC Series in Computing},
volume = {9},
pages = {11--21},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3lZ},
doi = {10.29007/jj86}}
@inproceedings{PAAR-2010:Progress_in_Automating_Higher_Order,
author = {Christoph Benzm\textbackslash{}"uller and Adam Pease},
title = {Progress in Automating Higher-Order Ontology Reasoning},
booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
series = {EPiC Series in Computing},
volume = {9},
pages = {22--32},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/5z},
doi = {10.29007/dtnz}}
@inproceedings{PAAR-2010:GridTPT_distributed_platform_for,
author = {Thomas Bouton and Diego Caminha and David D\textbackslash{}'eharbe and Pascal Fontaine},
title = {GridTPT: a distributed platform for Theorem Prover Testing},
booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
series = {EPiC Series in Computing},
volume = {9},
pages = {33--39},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/p},
doi = {10.29007/hk8w}}
@inproceedings{PAAR-2010:Automated_Higher_order_Reasoning_about,
author = {Han-Hing Dang and Peter H\textbackslash{}"ofner},
title = {Automated Higher-order Reasoning about Quantales},
booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
series = {EPiC Series in Computing},
volume = {9},
pages = {40--51},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/HFp},
doi = {10.29007/l2sz}}
@inproceedings{PAAR-2010:Fast_Decision_Procedure_for,
author = {Guido Fiorino},
title = {Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus},
booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
series = {EPiC Series in Computing},
volume = {9},
pages = {52--62},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/cS},
doi = {10.29007/mbbq}}
@inproceedings{PAAR-2010:Comparison_of_Solvers_for,
author = {Ullrich Hustadt and Renate A. Schmidt},
title = {A Comparison of Solvers for Propositional Dynamic Logic},
booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
series = {EPiC Series in Computing},
volume = {9},
pages = {63--73},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/7Cj},
doi = {10.29007/63hq}}
@inproceedings{PAAR-2010:Trie_Based_Subsumption_and,
author = {Andrew Matusiewicz and Neil Murray and Erik Rosenthal},
title = {Trie Based Subsumption and Improving the pi-Trie Algorithm},
booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
series = {EPiC Series in Computing},
volume = {9},
pages = {74--83},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/dJs},
doi = {10.29007/q7h3}}
@inproceedings{PAAR-2010:Automation_for_Geometry_in,
author = {Laura Meikle and Jacques Fleuriot},
title = {Automation for Geometry in Isabelle/HOL},
booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
series = {EPiC Series in Computing},
volume = {9},
pages = {84--94},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/l91},
doi = {10.29007/r5k7}}
@inproceedings{PAAR-2010:Using_TPTP_Language_for,
author = {Jens Otten and Geoff Sutcliffe},
title = {Using the TPTP Language for Representing Derivations in Tableau and
Connection Calculi},
booktitle = {PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning},
editor = {Renate A. Schmidt and Stephan Schulz and Boris Konev},
series = {EPiC Series in Computing},
volume = {9},
pages = {95--105},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/MKr},
doi = {10.29007/jcqn}}