Partial evaluation of the "real thing (1995)

by M Leuschel
Venue:Proceedings LOPSTR'94, Springer-Verlag, Workshops in Computing Series