Birgit Elbl Modeling Meta-logical Features in a Calculus with Frozen Variables. 114-129 2001 conf/dagstuhl/2001ptcs Proof Theory in Computer Science http://link.springer.de/link/service/series/0558/bibs/2183/21830114.htm db/conf/dagstuhl/ptcs2001.html#Elbl01