Weili Fu, Rafael Peñaloza. Adding Context to Tableaux for DLs. In Yevgeny Kazakov, Domenico Lembo, Frank Wolter, editors, Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. Volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, 2012. [doi]
@inproceedings{FuP12-0,
title = {Adding Context to Tableaux for DLs},
author = {Weili Fu and Rafael Peñaloza},
year = {2012},
url = {http://ceur-ws.org/Vol-846/paper_30.pdf},
researchr = {https://researchr.org/publication/FuP12-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012},
editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter},
volume = {846},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}