Robuta

https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2021.41 Graph Characterization of the Universal Theory of Relations the universal theorygraphcharacterizationrelations