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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2015}}
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/vlTw},
doi = {10.29007/w9vg},
pages = {1},
year = {2015}}
@inproceedings{PAAR-2014:Efficiency_Automated_Theorem_Proving,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/XmCW},
doi = {10.29007/kvb1},
pages = {2-11},
year = {2015}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ldr},
doi = {10.29007/b923},
pages = {12-24},
year = {2015}}
@inproceedings{PAAR-2014:SGGS_Theorem_Proving_Exposition,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Jdhn},
doi = {10.29007/m2vf},
pages = {25-38},
year = {2015}}
@inproceedings{PAAR-2014:Logtk_Logic_ToolKit_Automated,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/vsq},
doi = {10.29007/4z1m},
pages = {39-49},
year = {2015}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Lt3c},
doi = {10.29007/8xbv},
pages = {50-59},
year = {2015}}
@inproceedings{PAAR-2014:Machine_Learner_Automated_Reasoning,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/W7},
doi = {10.29007/shxj},
pages = {60-66},
year = {2015}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/8},
doi = {10.29007/f997},
pages = {67-75},
year = {2015}}
@inproceedings{PAAR-2014:Razor_Provenance_Exploration_Model,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/wv},
doi = {10.29007/tcvw},
pages = {76-93},
year = {2015}}
@inproceedings{PAAR-2014:Deductive_Complete_Constrained_Superposition,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/4Rtc},
doi = {10.29007/3cp8},
pages = {94-104},
year = {2015}}
@inproceedings{PAAR-2014:Polymorphic+Typeclass_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Gvlb},
doi = {10.29007/8v2f},
pages = {105-119},
year = {2015}}