@Inproceedings{fensel1996mdasaafstrpoks, author = "Dieter Fensel and Rix Groenboom", booktitle = "Proceedings of the 12th European Conference on Artificial Intelligence (ECAI-96), Budapest, August 12-16, 1996", month = "August", title = "MLPM: Defing a Semantics and Axiomatization for Specifying the Reasoning Process of Knowledge-based Systems", year = "1996", }