Treffer: Minimal signatures with undecidability of representability by binary relations
Title:
Minimal signatures with undecidability of representability by binary relations
Authors:
Source:
Semigroup Forum. 111(2):469-489
Database:
Springer Nature Journals