by M. Khodadadi, R. A. Schmidt, and D. Tishkovsky
Reference:
A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI - Extended version of Tableaux13 paper (M. Khodadadi, R. A. Schmidt, and D. Tishkovsky), Technical report, Department of Computer Science, The University of Manchester, 2013.
Bibtex Entry:
@TECHREPORT{tableauLong,
AUTHOR = {M.~Khodadadi, R.~A. Schmidt, and D.~Tishkovsky},
YEAR = {2013},
INSTITUTION = {Department of Computer Science, The University of Manchester},
ADDRESS = {Manchester, United Kingdom},
TITLE = {A Refined Tableau Calculus with Controlled Blocking for
the Description Logic SHOI - Extended version of Tableaux13 paper},
YEAR= {2013},
MONTH = {August},
AUTHOR1_URL = {http://www.cs.man.ac.uk/~khodadam/},
AUTHOR1_EMAIL = {khodadam@cs.man.ac.uk},
URL = {papers/controlled.pdf}
}