A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract). - Yair Itzhaik; Amiram Yehudai (ICALP, 1981)

On Containment Problems for Finite-Turn Languages (Extended Abstract). - Yair Itzhaik; Amiram Yehudai (FCT, 1983)

New Families of Non Real Time DPDA's and their Decidability Results. - Yair Itzhaik; Amiram Yehudai (Theor. Comput. Sci., 1984)

An Intermediate Machine Technique for Deciding Equivalence between a DPDA and a Linear DPDA - Yair Itzhaik; Amiram Yehudai (Inf. Control., 1984)