Title: Decision procedures for families of deterministic push down automata