A proof environment for arithmetic with the omega rule - Baker, Siani; Smaill, Alan (University <Edinburgh>, 1993)