@article{SENIZERGUES199743,
    Author = {S{\'e}nizergues, G{\'e}raud},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Note = {Infinity'97, Second International Workshop on Verification of Infinite State Systems},
    Pages = {43},
    Title = {L(A) = L(B)?},
    URL = {http://www.sciencedirect.com/science/article/pii/S157106610580430X},
    Volume = {9},
    Year = {1997},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S157106610580430X},
    bdsk-url-2 = {https://doi.org/10.1016/S1571-0661(05)80430-X},
    date-added = {2018-10-04 15:22:57 +0000},
    date-modified = {2018-10-04 15:22:57 +0000},
    doi = {10.1016/S1571-0661(05)80430-X}
}

@article{SENIZERGUES199743, Author = {S{\'e}nizergues, G{\'e}raud}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Note = {Infinity'97, Second International Workshop on Verification of Infinite State Systems}, Pages = {43}, Title = {L(A) = L(B)?}, URL = {http://www.sciencedirect.com/science/article/pii/S157106610580430X}, Volume = {9}, Year = {1997}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S157106610580430X}, bdsk-url-2 = {https://doi.org/10.1016/S1571-0661(05)80430-X}, date-added = {2018-10-04 15:22:57 +0000}, date-modified = {2018-10-04 15:22:57 +0000}, doi = {10.1016/S1571-0661(05)80430-X} }