Reasoning with graph constraints
scientific article; zbMATH DE number 5713414
scientific article