@article{Ranzato_2008,
    title = {Generalizing the Paige–Tarjan algorithm by abstract interpretation},
    volume = {206},
    issn = {0890-5401},
    url = {http://dx.doi.org/10.1016/j.ic.2008.01.001},
    doi = {10.1016/j.ic.2008.01.001},
    number = {5},
    journal = {Information and Computation},
    publisher = {Elsevier BV},
    author = {Ranzato, Francesco and Tapparo, Francesco},
    year = {2008},
    month = {may},
    pages = {620–651},
    date-added = {2026-3-20 14:45:20 +0100}
}

@article{Ranzato_2008, title = {Generalizing the Paige–Tarjan algorithm by abstract interpretation}, volume = {206}, issn = {0890-5401}, url = {http://dx.doi.org/10.1016/j.ic.2008.01.001}, doi = {10.1016/j.ic.2008.01.001}, number = {5}, journal = {Information and Computation}, publisher = {Elsevier BV}, author = {Ranzato, Francesco and Tapparo, Francesco}, year = {2008}, month = {may}, pages = {620–651}, date-added = {2026-3-20 14:45:20 +0100} }