Wolfgang Benn Christian Kortenbreer Xinglin Wu Towards Interoperability: Vertical Integration of Languages with a KBMS. 388-395 1991 BTW db/conf/btw/btw91.html#BennKW91