@conference {malenfant90metaclasses,
	title = {Metaclasses for Metaprogramming in Logic},
	booktitle = {Meta-90: workshop on meta-programming in logic},
	year = {1990},
	month = {apr},
	pages = {257{\textendash}271},
	address = {Leuven, Belgium},
	author = {J. Malenfant and Guy Lapalme and Vaucher, J.}
}
