BibTeX record conf/lpar/BjornerJLRS17

• > Home > conf/lpar/BjornerJLRS17

@inproceedings{DBLP:conf/lpar/BjornerJLRS17,
  author       = {Nikolaj S. Bj{\o}rner and
                  Dejan Jovanovic and
                  Tancr{\`{e}}de Lepoint and
                  Philipp R{\"{u}}mmer and
                  Martin Sch{\"{a}}f},
  editor       = {Thomas Eiter and
                  David Sands and
                  Geoff Sutcliffe and
                  Andrei Voronkov},
  title        = {Abduction by Non-Experts},
  booktitle    = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana,
                  May 7-12, 2017},
  series       = {Kalpa Publications in Computing},
  volume       = {1},
  pages        = {58--72},
  publisher    = {EasyChair},
  year         = {2017},
  url          = {https://doi.org/10.29007/pz3t},
  doi          = {10.29007/PZ3T},
  timestamp    = {Sat, 30 Sep 2023 09:52:10 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BjornerJLRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}