Compiling dyadic first-order specifications into map algebra
scientific article; zbMATH DE number 1909918
scientific article