Birgit Elbl Modeling Meta-logical Features in a Calculus with Frozen Variables. 114-129 2001 conf/dagstuhl/2001ptcs Proof Theory in Computer Science http://dx.doi.org/10.1007/3-540-45504-3_8 db/conf/dagstuhl/ptcs2001.html#Elbl01