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},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
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},
pages = {1--2},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/69b},
doi = {10.29007/x7b4}}
@inproceedings{IWIL2012:Craig_Interpolation_for_Integers,
author = {Philipp R\textbackslash{}"ummer},
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},
pages = {3},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/hq},
doi = {10.29007/9rxz}}
@inproceedings{IWIL2012:Efficient_Rule_Matching_for_Hyper_Tableaux,
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},
pages = {4--17},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/SC7c},
doi = {10.29007/r5m4}}
@inproceedings{IWIL2012:Implementing_Connection_Calculi_for,
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},
pages = {18--32},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xZj4},
doi = {10.29007/82m9}}
@inproceedings{IWIL2012:Understanding_LEO_IIs_proofs,
author = {Nik Sultana and Christoph Benzm\textbackslash{}"uller},
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},
pages = {33--52},
year = {2013},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/pNWc},
doi = {10.29007/x9c9}}