Daniel Danielski, Emanuel Kieronski. Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract). In Mantas Simkus, Grant E. Weddell, editors, Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. Volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
@inproceedings{DanielskiK19,
title = {Finite Satisfiability of Unary Negation Fragment with Transitivity (Extended Abstract)},
author = {Daniel Danielski and Emanuel Kieronski},
year = {2019},
url = {http://ceur-ws.org/Vol-2373/paper-43.pdf},
researchr = {https://researchr.org/publication/DanielskiK19},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019},
editor = {Mantas Simkus and Grant E. Weddell},
volume = {2373},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}