Volume
@proceedings{PAAR-2014,
title = {PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning},
editor = {Stephan Schulz and Leonardo De Moura and Boris Konev},
series = {EPiC Series in Computing},
volume = {31},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{PAAR-2014:Hierarchic_Superposition_Revisited,
author = {Uwe Waldmann},
title = {Hierarchic Superposition Revisited},
booktitle = {PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning},
editor = {Stephan Schulz and Leonardo De Moura and Boris Konev},
series = {EPiC Series in Computing},
volume = {31},
pages = {1},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/vlTw},
doi = {10.29007/w9vg}}
@inproceedings{PAAR-2014:Efficiency_of_Automated_Theorem,
author = {Negin Arhami and Geoff Sutcliffe},
title = {The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics},
booktitle = {PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning},
editor = {Stephan Schulz and Leonardo De Moura and Boris Konev},
series = {EPiC Series in Computing},
volume = {31},
pages = {2--11},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/XmCW},
doi = {10.29007/kvb1}}
@inproceedings{PAAR-2014:Model_Guided_Instantiation_Heuristic,
author = {Joshua Bax},
title = {A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories},
booktitle = {PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning},
editor = {Stephan Schulz and Leonardo De Moura and Boris Konev},
series = {EPiC Series in Computing},
volume = {31},
pages = {12--24},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/ldr},
doi = {10.29007/b923}}
@inproceedings{PAAR-2014:SGGS_Theorem_Proving_an,
author = {Maria Paola Bonacina and David Plaisted},
title = {SGGS Theorem Proving: an Exposition},
booktitle = {PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning},
editor = {Stephan Schulz and Leonardo De Moura and Boris Konev},
series = {EPiC Series in Computing},
volume = {31},
pages = {25--38},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Jdhn},
doi = {10.29007/m2vf}}
@inproceedings{PAAR-2014:Logtk_Logic_ToolKit,
author = {Simon Cruanes},
title = {Logtk : A Logic ToolKit for Automated Reasoning and its Implementation},
booktitle = {PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning},
editor = {Stephan Schulz and Leonardo De Moura and Boris Konev},
series = {EPiC Series in Computing},
volume = {31},
pages = {39--49},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/vsq},
doi = {10.29007/4z1m}}
@inproceedings{PAAR-2014:Beagle_as_HOL4_external,
author = {Thibault Gauthier and Cezary Kaliszyk and Chantal Keller and Michael Norrish},
title = {Beagle as a HOL4 external ATP method},
booktitle = {PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning},
editor = {Stephan Schulz and Leonardo De Moura and Boris Konev},
series = {EPiC Series in Computing},
volume = {31},
pages = {50--59},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Lt3c},
doi = {10.29007/8xbv}}
@inproceedings{PAAR-2014:Machine_Learner_for_Automated,
author = {Cezary Kaliszyk and Josef Urban and Jiri Vyskocil},
title = {Machine Learner for Automated Reasoning 0.4 and 0.5},
booktitle = {PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning},
editor = {Stephan Schulz and Leonardo De Moura and Boris Konev},
series = {EPiC Series in Computing},
volume = {31},
pages = {60--66},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/W7},
doi = {10.29007/shxj}}
@inproceedings{PAAR-2014:Automated_Theorem_Proving_using,
author = {Muhammad Nassar and Geoff Sutcliffe},
title = {Automated Theorem Proving using the TPTP Process Instruction Language},
booktitle = {PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning},
editor = {Stephan Schulz and Leonardo De Moura and Boris Konev},
series = {EPiC Series in Computing},
volume = {31},
pages = {67--75},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/8},
doi = {10.29007/f997}}
@inproceedings{PAAR-2014:Razor_Provenance_and_Exploration,
author = {Salman Saghafi and Daniel Dougherty},
title = {Razor: Provenance and Exploration in Model-Finding},
booktitle = {PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning},
editor = {Stephan Schulz and Leonardo De Moura and Boris Konev},
series = {EPiC Series in Computing},
volume = {31},
pages = {76--93},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/wv},
doi = {10.29007/tcvw}}
@inproceedings{PAAR-2014:Deductive_Complete_Constrained_Superposition_Calculus,
author = {Sophie Tourret and Mnacho Echenim and Nicolas Peltier},
title = {A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses},
booktitle = {PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning},
editor = {Stephan Schulz and Leonardo De Moura and Boris Konev},
series = {EPiC Series in Computing},
volume = {31},
pages = {94--104},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/4Rtc},
doi = {10.29007/3cp8}}
@inproceedings{PAAR-2014:PolymorphicTypeclass_Superposition,
author = {Daniel Wand},
title = {Polymorphic+Typeclass Superposition},
booktitle = {PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning},
editor = {Stephan Schulz and Leonardo De Moura and Boris Konev},
series = {EPiC Series in Computing},
volume = {31},
pages = {105--119},
year = {2015},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Gvlb},
doi = {10.29007/8v2f}}