ObjVProlog: Metaclasses in Logic.

Jacques Malenfant, Guy Lapalme, Jean G. Vaucher

Browse the full ECOOP paper archive.