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