%O Thesis 
%9 PhdThesis 
%F grabmayer2005a
%A Grabmayer, Clemens
%T Relating Proof Systems for Recursive Types
%I Vrije Universiteit Amsterdam
%U http://www.cs.vu.nl/res/theses/grabmayer.html
%D 2005
%K rectype