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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2012}}
Papers
@inproceedings{PAAR-2010:Three_Years_Experience_with,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Mzp},
doi = {10.29007/tnfd},
pages = {1-10},
year = {2012}}
@inproceedings{PAAR-2010:Automated_Reasoning_Simulation_Evolvable,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/3lZ},
doi = {10.29007/jj86},
pages = {11-21},
year = {2012}}
@inproceedings{PAAR-2010:Progress_Automating_Higher_Order,
author = {Christoph Benzmüller 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/5z},
doi = {10.29007/dtnz},
pages = {22-32},
year = {2012}}
@inproceedings{PAAR-2010:GridTPT_distributed_platform_Theorem,
author = {Thomas Bouton and Diego Caminha and David Déharbe 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/p},
doi = {10.29007/hk8w},
pages = {33-39},
year = {2012}}
@inproceedings{PAAR-2010:Automated_Higher_order_Reasoning,
author = {Han-Hing Dang and Peter Höfner},
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/HFp},
doi = {10.29007/l2sz},
pages = {40-51},
year = {2012}}
@inproceedings{PAAR-2010:Fast_Decision_Procedure_Propositional,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/cS},
doi = {10.29007/mbbq},
pages = {52-62},
year = {2012}}
@inproceedings{PAAR-2010:Comparison_Solvers_Propositional_Dynamic,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/7Cj},
doi = {10.29007/63hq},
pages = {63-73},
year = {2012}}
@inproceedings{PAAR-2010:Trie_Based_Subsumption_Improving,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/dJs},
doi = {10.29007/q7h3},
pages = {74-83},
year = {2012}}
@inproceedings{PAAR-2010:Automation_Geometry_Isabelle/HOL,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/l91},
doi = {10.29007/r5k7},
pages = {84-94},
year = {2012}}
@inproceedings{PAAR-2010:Using_TPTP_Language_Representing,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/MKr},
doi = {10.29007/jcqn},
pages = {95-105},
year = {2012}}
