Compiling multi-paradigm declarative programs into prolog. (2000)

by S Antoy, M Hanus
Venue:In 3rd International Workshop on Frontiers of Combining Systems (FroCoS’2000), H. Kirchner and C. Ringeissen, Eds. Number 1794 in LNCS.