@InProceedings{CD12, author = {Simona Colucci and Francesco M. Donini}, title = "Inverting Subsumption for Constructive Reasoning", booktitle = "25th International Workshop on Description Logics
(DL 2012) ", year = "2012", publisher = "CEUR", note = "to appear", url = "http://sisinflab.poliba.it/sisinflab/publications/
2012/CD12" }