LPAR-21S: BibTeX Entries

Volume

@proceedings{LPAR-21S,
  title     = {IWIL Workshop and LPAR Short Presentations},
  editor    = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  year      = {2017}}

Papers

@inproceedings{LPAR-21S:Interpolation_based_Compiler_Optimizer,
  author    = {David Toman and Grant Weddell},
  title     = {An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)},
  booktitle = {IWIL Workshop and LPAR Short Presentations},
  editor    = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/5t5r},
  doi       = {10.29007/53fk},
  pages     = {1-10},
  year      = {2017}}


@inproceedings{LPAR-21S:Leo_III_Version_1.1,
  author    = {Christoph Benzmüller and Alexander Steen and Max Wisniewski},
  title     = {Leo-III Version 1.1 (System description)},
  booktitle = {IWIL Workshop and LPAR Short Presentations},
  editor    = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/sl},
  doi       = {10.29007/grmx},
  pages     = {11-26},
  year      = {2017}}


@inproceedings{LPAR-21S:Reasoning_with_Concept_Diagrams,
  author    = {Zohreh Shams and Mateja Jamnik and Gem Stapleton and Yuri Sato},
  title     = {Reasoning with Concept Diagrams about Antipatterns},
  booktitle = {IWIL Workshop and LPAR Short Presentations},
  editor    = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/1TC},
  doi       = {10.29007/4ckv},
  pages     = {27-42},
  year      = {2017}}


@inproceedings{LPAR-21S:Formalization_some_central_theorems,
  author    = {Abhishek Kr Singh},
  title     = {Formalization of some central theorems in combinatorics of finite sets},
  booktitle = {IWIL Workshop and LPAR Short Presentations},
  editor    = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/Nr},
  doi       = {10.29007/r7fg},
  pages     = {43-57},
  year      = {2017}}


@inproceedings{LPAR-21S:Abduction_Non_Experts,
  author    = {Nikolaj Bjorner and Dejan Jovanović and Tancrède Lepoint and Philipp Rümmer and Martin Schäf},
  title     = {Abduction by Non-Experts},
  booktitle = {IWIL Workshop and LPAR Short Presentations},
  editor    = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/cKL},
  doi       = {10.29007/pz3t},
  pages     = {58-72},
  year      = {2017}}


@inproceedings{LPAR-21S:Decidability_Fair_Termination_Gossip,
  author    = {Krzysztof Apt and Dominik Wojtczak},
  title     = {Decidability of Fair Termination of Gossip Protocols},
  booktitle = {IWIL Workshop and LPAR Short Presentations},
  editor    = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/2cZ},
  doi       = {10.29007/62s4},
  pages     = {73-85},
  year      = {2017}}


@inproceedings{LPAR-21S:Translating_C#_Branching_Symbolic,
  author    = {Olli Saarikivi and Margus Veanes},
  title     = {Translating C# to Branching Symbolic Transducers},
  booktitle = {IWIL Workshop and LPAR Short Presentations},
  editor    = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/74R7},
  doi       = {10.29007/7jf1},
  pages     = {86-99},
  year      = {2017}}


@inproceedings{LPAR-21S:Going_Polymorphic_TH1_Reasoning,
  author    = {Alexander Steen and Max Wisniewski and Christoph Benzmüller},
  title     = {Going Polymorphic - TH1 Reasoning for Leo-III},
  booktitle = {IWIL Workshop and LPAR Short Presentations},
  editor    = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/CNN},
  doi       = {10.29007/jgkw},
  pages     = {100-112},
  year      = {2017}}


@inproceedings{LPAR-21S:Capability_Discovery_Automated_Reasoning,
  author    = {Alexander Steen and Max Wisniewski and Hans-Jörg Schurr and Christoph Benzmüller},
  title     = {Capability Discovery for Automated Reasoning Systems},
  booktitle = {IWIL Workshop and LPAR Short Presentations},
  editor    = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/SfX},
  doi       = {10.29007/fsv3},
  pages     = {113-118},
  year      = {2017}}


@inproceedings{LPAR-21S:Towards_Abstraction_Refinement_Framework,
  author    = {Julio Cesar Lopez Hernandez and Konstantin Korovin},
  title     = {Towards an Abstraction-Refinement Framework for Reasoning with Large Theories},
  booktitle = {IWIL Workshop and LPAR Short Presentations},
  editor    = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/glJ},
  doi       = {10.29007/4zh8},
  pages     = {119-123},
  year      = {2017}}


@inproceedings{LPAR-21S:Set_Support_Theory_Reasoning,
  author    = {Giles Reger and Martin Suda},
  title     = {Set of Support for Theory Reasoning},
  booktitle = {IWIL Workshop and LPAR Short Presentations},
  editor    = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/4Sd},
  doi       = {10.29007/ndjg},
  pages     = {124-134},
  year      = {2017}}