Relational synthesis for pattern matching
scientific article; zbMATH DE number 7370101