ECOOP 1989ObjVProlog: Metaclasses in LogicJacques Malenfant, Guy Lapalme, Jean G. VaucherdblpBibTeXNo abstract available.