Subrecursive Program Schemata I & II: I. Undecidable Equivalence Problems; II. Decidable Equivalence Problems Robert L. Constable Steven S. Muchnick 1-17 conf/stoc/STOC4 1972 STOC db/conf/stoc/stoc72.html#ConstableM72