Automatic simplification in FORMAC

Abstract
No abstract available