IWIL 2012: BibTeX Entries

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