AUTOMATH
Partial subset of
SEMIPAL
Precursor
PAL (7814)