Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints.

Franz Baader, Alexander Okhotin

Browse the full LPAR paper archive.