A proof theory for generic judgments (2005)

by D Miller, A Tiu
Venue:ACM Trans. on Computational Logic