The distributed ontology, modeling and specification language – dol

2015

Till Mossakowski, Mihai Codescu, Fabian Neuhaus, Oliver Kutz

in: The road to universal logic II, Basel,