A Semantics for Tracing Declarative Multi-Paradigm Programs (2004)

by B Braßel, M Hanus, F Huch, G Vidal
Venue:In Proc. of PPDP’04