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