A comparison of some schemes for translating logic to C (1994)

by B Demoen, G Maris
Venue:In Workshop on Implementations of the 11th International Conference of Logic Programming, Santate