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

Cached

Download Links

by Bart Demoen , Greet Maris
Venue:In Workshop on Implementations of 11th International Conference of Logic Programming
Citations:4 - 1 self