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