Automation of aggregate theories: The cornerstones of equational expressibility.

A. FORMISANO

OMODEO, EUGENIO

A. POLICRITI