TY  - RPRT
TI  - Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation
AU  - Francesco Ranzato
AU  - Francesco Tapparo
PY  - 2006
UR  - https://arxiv.org/abs/cs/0612120
ID  - cs/0612120
ER  -