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]
Abstract is missing.