Title: ADEPT
Subjects: ADEPT, Automatic theorem proving, Data processing, Group theory, Heuristic programming