AUTOMATH
Evolution of
AUT-QE
Incorporated some features of
aut (6969)