PAAR-2014:BibTeX Entries

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}}