Compiling Multi-Paradigm Declarative Programs into Prolog (2000)

by S Antoy, M Hanus
Venue:In Proc. of the Int’l Workshop on Frontiers of Combining Systems (FroCoS 2000). Springer LNCS 1794