Formal properties of modularisation. (2009)

by B Konev, C Lutz, D Walther, F Wolter
Venue:Modular Ontologies,