Anni-Yasmin Turhan, Ralf Molitor. Using Lazy Unfolding for the Computation of Least Common Subsumers. In Carole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider, editors, Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. Volume 49 of CEUR Workshop Proceedings, CEUR-WS.org, 2001. [doi]
@inproceedings{TurhanM01,
title = {Using Lazy Unfolding for the Computation of Least Common Subsumers},
author = {Anni-Yasmin Turhan and Ralf Molitor},
year = {2001},
url = {http://CEUR-WS.org/Vol-49/TurhanMolitor-86start.ps},
tags = {laziness},
researchr = {https://researchr.org/publication/TurhanM01},
cites = {0},
citedby = {0},
booktitle = {Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001},
editor = {Carole A. Goble and Deborah L. McGuinness and Ralf Möller and Peter F. Patel-Schneider},
volume = {49},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}