@inproceedings{Alur:2005:CVP:2104063.2104178,
    Address = {Berlin, Heidelberg},
    Author = {Alur, Rajeev and Kumar, Viraj and Madhusudan, P. and Viswanathan, Mahesh},
    BookTitle = {Proceedings of the 32nd international conference on Automata, Languages and Programming},
    File = {Congruences for visibly pushdown languages - Alur, Kumar, Madhusudan, Viswanathan (0) (0) - a - a - o.pdf},
    ISBN = {3-540-27580-0, 978-3-540-27580-0},
    Keywords = {visibly pushdown automata},
    Location = {Lisbon, Portugal},
    Pages = {1102--1114},
    Publisher = {Springer-Verlag},
    Series = {ICALP'05},
    Title = {Congruences for visibly pushdown languages},
    URL = {http://dx.doi.org/10.1007/11523468\_89},
    Year = {2005},
    acmid = {2104178},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11523468\_89},
    date-added = {2012-12-04 21:19:49 +0000},
    date-modified = {2012-12-04 21:21:57 +0000},
    numpages = {13},
    doi = {10.1007/11523468_89}
}

@inproceedings{Alur:2005:CVP:2104063.2104178, Address = {Berlin, Heidelberg}, Author = {Alur, Rajeev and Kumar, Viraj and Madhusudan, P. and Viswanathan, Mahesh}, BookTitle = {Proceedings of the 32nd international conference on Automata, Languages and Programming}, File = {Congruences for visibly pushdown languages - Alur, Kumar, Madhusudan, Viswanathan (0) (0) - a - a - o.pdf}, ISBN = {3-540-27580-0, 978-3-540-27580-0}, Keywords = {visibly pushdown automata}, Location = {Lisbon, Portugal}, Pages = {1102--1114}, Publisher = {Springer-Verlag}, Series = {ICALP'05}, Title = {Congruences for visibly pushdown languages}, URL = {http://dx.doi.org/10.1007/11523468_89}, Year = {2005}, acmid = {2104178}, bdsk-url-1 = {http://dx.doi.org/10.1007/11523468_89}, date-added = {2012-12-04 21:19:49 +0000}, date-modified = {2012-12-04 21:21:57 +0000}, numpages = {13}, doi = {10.1007/11523468_89} }