I. Paul
Bernays

ETH Zürich (MathTree)


Julius Richard
Büchi

Purdue (MathTree)





Paul A.
Rosen

Purdue
(Options)

Paul RosenX