Compiling dyadic first-order specifications into map algebra
Cantone D.
•
Formisano A.
•
Omodeo E. G.
•
Zarba C. G.
2003