Congruence Classes with Logic Variables.

Joe Hurd Congruence Classes with Logic Variables. 2001 9 Logic Journal of the IGPL 1 http://www3.oup.co.uk/igpl/Volume_09/Issue_01/#Hurd db/journals/igpl/igpl9.html#Hurd01