Loris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino. A Constructive Semantics for ALC. In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, editors, Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. Volume 250 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]
@inproceedings{BozzatoFFF07, title = {A Constructive Semantics for ALC}, author = {Loris Bozzato and Mauro Ferrari and Camillo Fiorentini and Guido Fiorino}, year = {2007}, url = {http://ceur-ws.org/Vol-250/paper_45.pdf}, tags = {semantics}, researchr = {https://researchr.org/publication/BozzatoFFF07}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}, editor = {Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo and Boris Motik and Anni-Yasmin Turhan and Sergio Tessaris}, volume = {250}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }