Dominik Lücke, Till Mossakowski. A much better polynomial time approximation of consistency in the LR calculus. In Thomas Ågotnes, editor, STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers Symposium, Lisbon, Portugal, 16-20 August, 2010. Volume 222 of Frontiers in Artificial Intelligence and Applications, pages 175-185, IOS Press, 2010. [doi]
@inproceedings{LuckeM10-0,
title = {A much better polynomial time approximation of consistency in the LR calculus},
author = {Dominik Lücke and Till Mossakowski},
year = {2010},
doi = {10.3233/978-1-60750-675-1-175},
url = {http://dx.doi.org/10.3233/978-1-60750-675-1-175},
tags = {consistency},
researchr = {https://researchr.org/publication/LuckeM10-0},
cites = {0},
citedby = {0},
pages = {175-185},
booktitle = {STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers Symposium, Lisbon, Portugal, 16-20 August, 2010},
editor = {Thomas Ågotnes},
volume = {222},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-60750-675-1},
}