@InProceedings{bienvenu-dl07, author = {M. Bienvenu}, title = {Consequence Finding in ALC}, booktitle = {Proceedings of the Twentieth International Workshop on Description Logics (DL2007)}, year = 2007, series = {CEUR Workshop Proceedings}, volume = 250}