Nikolaj Bjørner, Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings.
Lecture Notes in Computer Science 7180 Springer 2012, ISBN 978-3-642-28716-9
Franz Baader, Alexander Okhotin: Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints.
107-121
data released under the ODC-BY 1.0 license
