ExpTime Tableaux for ALC Using Sound Global Caching
Authors
Rajeev Goré, Linh Anh Nguyen
Publication date
2007/4/1
Conference
International Workshop on Description Logics (DL2007),
Pages
8 pages
Total citations
20042005200620072008200920102011201220132014201520162017201820192020202120222023202411275145934223211
Scholar articles
R Goré, LA Nguyen - Journal of Automated Reasoning, 2013