Metaclasses for Metaprogramming in Logic (1990)

by J Malenfant, G Lapalme, J Vaucher
Venue:In [Bru90