@inproceedings{mci/Molitor2003,
author = {Molitor, Ralf},
title = {Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken},
booktitle = {Ausgezeichnete Informatikdissertationen 2000},
year = {2003},
editor = {Wagner, Dorothea} ,
pages = { 119-129 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}