MegaLog - A Platform for Developing Knowledge Base Management Systems. - Jorge B. Bocca; Michael Dahmen; Michael Freeston (LPAR, 1992)