@inproceedings{ECOOP-1989-MalenfantLV,
	author        = "Jacques Malenfant and Guy Lapalme and Jean G. Vaucher",
	booktitle     = "{Proceedings of the Third European Conference on Object-Oriented Programming}",
	editor        = "S. Cook",
	isbn          = "0-521-38232-7",
	pages         = "257--269",
	publisher     = "{Cambridge University Press}",
	title         = "{ObjVProlog: Metaclasses in Logic}",
	year          = 1989,
}