Volume
@proceedings{IWIL2012,
title = {IWIL 2012. The 9th International Workshop on the Implementation of Logics},
editor = {Konstantin Korovin and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {22},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2013}}
Papers
@inproceedings{IWIL2012:Engineering_Theories_with_Z3,
author = {Nikolaj Bjorner},
title = {Engineering Theories with Z3},
booktitle = {IWIL 2012. The 9th International Workshop on the Implementation of Logics},
editor = {Konstantin Korovin and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {22},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/69b},
doi = {10.29007/x7b4},
pages = {1-2},
year = {2013}}
@inproceedings{IWIL2012:Craig_Interpolation_Integers_Results,
author = {Philipp Rümmer},
title = {Craig Interpolation for the Integers: Results, Implementation, and Experiences},
booktitle = {IWIL 2012. The 9th International Workshop on the Implementation of Logics},
editor = {Konstantin Korovin and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {22},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/hq},
doi = {10.29007/9rxz},
pages = {3},
year = {2013}}
@inproceedings{IWIL2012:Efficient_Rule_Matching_Hyper,
author = {Bjarne Holen and Dag Hovland and Martin Giese},
title = {Efficient Rule-Matching for Hyper-Tableaux},
booktitle = {IWIL 2012. The 9th International Workshop on the Implementation of Logics},
editor = {Konstantin Korovin and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {22},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/SC7c},
doi = {10.29007/r5m4},
pages = {4-17},
year = {2013}}
@inproceedings{IWIL2012:Implementing_Connection_Calculi_First,
author = {Jens Otten},
title = {Implementing Connection Calculi for First-order Modal Logics},
booktitle = {IWIL 2012. The 9th International Workshop on the Implementation of Logics},
editor = {Konstantin Korovin and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {22},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/xZj4},
doi = {10.29007/82m9},
pages = {18-32},
year = {2013}}
@inproceedings{IWIL2012:Understanding_LEO_IIs_proofs,
author = {Nik Sultana and Christoph Benzmüller},
title = {Understanding LEO-II’s proofs},
booktitle = {IWIL 2012. The 9th International Workshop on the Implementation of Logics},
editor = {Konstantin Korovin and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {22},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/pNWc},
doi = {10.29007/x9c9},
pages = {33-52},
year = {2013}}