Regular inference as vertex coloring
scientific article; zbMATH DE number 6362893
scientific article