Undecidability of first order sentences in the theory of free groupoids S. Jaśkowski — 1956 Fundamenta Mathematicae