Mordechai Ben-Ari Ianov Pushdown Schemes Are Contained in Boolean Recursive Schemes. 117-125 1978 10 Acta Inf. db/journals/acta/acta10.html#Ben-Ari78