@inproceedings{Jancar:LICS:2012,
    Author = {Jancar, Petr},
    BookTitle = {27th Annual IEEE Symposium on Logic in Computer Science},
    File = {Decidability of DPDA Language Equivalence via First-Order Grammars.pdf},
    Keywords = {pushdown automata and bisimulation equivalence and readme},
    Pages = {415--424},
    Title = {Decidability of DPDA Language Equivalence via First-Order Grammars},
    Year = {2012},
    date-added = {2023-01-17 10:34:37 +0100},
    date-modified = {2023-01-17 10:34:37 +0100},
    doi = {10.1109/LICS.2012.51}
}

@inproceedings{Jancar:LICS:2012, Author = {Jancar, Petr}, BookTitle = {27th Annual IEEE Symposium on Logic in Computer Science}, File = {Decidability of DPDA Language Equivalence via First-Order Grammars.pdf}, Keywords = {pushdown automata and bisimulation equivalence and readme}, Pages = {415--424}, Title = {Decidability of DPDA Language Equivalence via First-Order Grammars}, Year = {2012}, date-added = {2023-01-17 10:34:37 +0100}, date-modified = {2023-01-17 10:34:37 +0100}, doi = {10.1109/LICS.2012.51} }