Ontologies for the semantic web in CASL (2004)

by K Lüttich, T Mossakowski, B Krieg-Brückner
Venue:Recent Trends in Algebraic Development Techniques. 17th International Workshop, WADT 2004