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},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762}}

Papers

@inproceedings{LPAR-21S:An_Interpolation_based_Compiler_and,
  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},
  pages     = {1--10},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/5t5r},
  doi       = {10.29007/53fk}}

@inproceedings{LPAR-21S:Leo_III_Version_1.1_System,
  author    = {Christoph Benzm\textbackslash{}"uller 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},
  pages     = {11--26},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/sl},
  doi       = {10.29007/grmx}}

@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},
  pages     = {27--42},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/1TC},
  doi       = {10.29007/4ckv}}

@inproceedings{LPAR-21S:Formalization_of_some_central,
  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},
  pages     = {43--57},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/Nr},
  doi       = {10.29007/r7fg}}

@inproceedings{LPAR-21S:Abduction_by_Non_Experts,
  author    = {Nikolaj Bjorner and Dejan Jovanovi\textbackslash{}'c and Tancr\textbackslash{}`ede Lepoint and Philipp R\textbackslash{}"ummer and Martin Sch\textbackslash{}"af},
  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},
  pages     = {58--72},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/cKL},
  doi       = {10.29007/pz3t}}

@inproceedings{LPAR-21S:Decidability_of_Fair_Termination,
  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},
  pages     = {73--85},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/2cZ},
  doi       = {10.29007/62s4}}

@inproceedings{LPAR-21S:Translating_C_to_Branching,
  author    = {Olli Saarikivi and Margus Veanes},
  title     = {Translating C\textbackslash{}\# 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},
  pages     = {86--99},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/74R7},
  doi       = {10.29007/7jf1}}

@inproceedings{LPAR-21S:Going_Polymorphic__TH1,
  author    = {Alexander Steen and Max Wisniewski and Christoph Benzm\textbackslash{}"uller},
  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},
  pages     = {100--112},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/CNN},
  doi       = {10.29007/jgkw}}

@inproceedings{LPAR-21S:Capability_Discovery_for_Automated,
  author    = {Alexander Steen and Max Wisniewski and Hans-J\textbackslash{}"org Schurr and Christoph Benzm\textbackslash{}"uller},
  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},
  pages     = {113--118},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/SfX},
  doi       = {10.29007/fsv3}}

@inproceedings{LPAR-21S:Towards_an_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},
  pages     = {119--123},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/glJ},
  doi       = {10.29007/4zh8}}

@inproceedings{LPAR-21S:Set_of_Support_for,
  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},
  pages     = {124--134},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/4Sd},
  doi       = {10.29007/ndjg}}