Patrick Koopmann, Jieying Chen. Computing ALCH. In Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard, editors, Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. Volume 2013 of CEUR Workshop Proceedings, pages 51-66, CEUR-WS.org, 2017. [doi]
@inproceedings{KoopmannC17,
title = {Computing ALCH},
author = {Patrick Koopmann and Jieying Chen},
year = {2017},
url = {http://ceur-ws.org/Vol-2013/paper15.pdf},
researchr = {https://researchr.org/publication/KoopmannC17},
cites = {0},
citedby = {0},
pages = {51-66},
booktitle = {Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017},
editor = {Patrick Koopmann and Sebastian Rudolph and Renate A. Schmidt and Christoph Wernhard},
volume = {2013},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}