Quaglia, P. (1997) “On the Finitary Characterization of pi-Congruences”, BRICS Report Series, 4(52). doi: 10.7146/brics.v4i52.19273.