A Comparison of some Schemes for Translating Logic to C (1994)

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