Formula simplification via invariance detection by algebraically indexed types
scientific article; zbMATH DE number 7628200
scientific article