Reasoning with Bounded Self-reference Using Logical Interpreters (bibtex)

by Daniel Gorín, Lutz Schröder and Thorsten Wißmann

Reference:

Daniel Gorín, Lutz Schröder and Thorsten Wißmann: Reasoning with Bounded Self-reference Using Logical Interpreters, In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, eds.: 26th International Workshop on Description Logics, DL 2013, CEUR Workshop Proceedings, vol. 1014, pp. 689–703, CEUR-WS.org, 2013.

Bibtex Entry:

@inproceedings{GorinEA13,
  author    = {Daniel Gor\'{\i}n and
               Lutz Schr{\"o}der and
               Thorsten Wi{\ss}mann},
  title     = {Reasoning with Bounded Self-reference Using Logical Interpreters},
  pages     = {689-703},
  editor    = {Thomas Eiter and
               Birte Glimm and
               Yevgeny Kazakov and
               Markus Kr{\"o}tzsch},
  booktitle     = {26th International Workshop
               on Description Logics, DL 2013},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {1014},
  year      = {2013},
  url        = {http://ceur-ws.org/Vol-1014/paper_75.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}