A Proof Environment for Arithmetic with the Omega Rule.

Siani Baker Alan Smaill A Proof Environment for Arithmetic with the Omega Rule. 115-130 1994 conf/aisc/1994 AISMC db/conf/aisc/aismc1994.html#BakerS94