Daniel Gorín, Lutz Schröder, Thorsten Wißmann. Reasoning with Bounded Self-reference Using Logical Interpreters. In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, editors, Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. Volume 1014 of CEUR Workshop Proceedings, pages 689-703, CEUR-WS.org, 2013. [doi]
@inproceedings{GorinSW13,
title = {Reasoning with Bounded Self-reference Using Logical Interpreters},
author = {Daniel Gorín and Lutz Schröder and Thorsten Wißmann},
year = {2013},
url = {http://ceur-ws.org/Vol-1014/paper_75.pdf},
researchr = {https://researchr.org/publication/GorinSW13},
cites = {0},
citedby = {0},
pages = {689-703},
booktitle = {Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013},
editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch},
volume = {1014},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}