Optimized Encodings of Fragments of Type Theory in First Order Logic (1994)

by Tanel Tammet , Jan M. Smith
Venue:JLC: Journal of Logic and Computation
Citations:7 - 4 self