Andreas Steigmiller, Birte Glimm. Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures. J. Artif. Intell. Res. (JAIR), 54:535-592, 2015. [doi]
@article{SteigmillerG15,
title = {Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures},
author = {Andreas Steigmiller and Birte Glimm},
year = {2015},
doi = {10.1613/jair.4897},
url = {http://dx.doi.org/10.1613/jair.4897},
researchr = {https://researchr.org/publication/SteigmillerG15},
cites = {0},
citedby = {0},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {54},
pages = {535-592},
}