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