Quaglia, P. On the Finitary Characterization of Pi-Congruences. BRICS 1997, 4.