Jesse Alt Sergei N. Artëmov 22-37 2001 conf/dagstuhl/2001ptcs Proof Theory in Computer Science http://link.springer.de/link/service/series/0558/bibs/2183/21830022.htm db/conf/dagstuhl/ptcs2001.html#AltA01