Reflection principles in computational logic (2000)

by J Barklund, P Dell’Acqua, S Costantini, G A Lanzarone
Venue:J. of Logic and Computation