Reduction of the decision problem of the first order predicate calculus to reflexive and symmetrical binary predicates J. Surányi OriginalPaper Pages: 97 - 106
A description of the finite right-congruences of finitely generated free semigroups A. Ádám OriginalPaper Pages: 135 - 144