ML Anthology

Carbotta, Domenico

1 publications

IJCAI 2011 A Practical Automata-Based Technique for Reasoning in Expressive Description Logics Diego Calvanese, Domenico Carbotta, Magdalena Ortiz