Anomaly hierarchies of mechamzed inductive reference (1978)

by J CASE, C SMITH
Venue:Proc. 10th ACM Symp on Theory of Computmg