ObjVProlog: Metaclasses in Logic (1989)

by J Malenfant, G Lapalme, J Vaucher
Venue:In: Proc. Of ECOOP’89