Bernhard Hollunder. Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems. Annals of Mathematics and Artificial Intelligence, 18(2-4):133-157, 1996.
@article{Hollunder96, title = {Consistency Checking Reduced to Satisfiability of Concepts in Terminological Systems}, author = {Bernhard Hollunder}, year = {1996}, tags = {consistency}, researchr = {https://researchr.org/publication/Hollunder96}, cites = {0}, citedby = {0}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {18}, number = {2-4}, pages = {133-157}, }