Rudimentary predicates and relative computation (1978)

by C Wrathall
Venue:SIAM J. Comput