A fast implementation of polynomial factorization. - Michael Lucks (SYMSAC, 1986)

A Constraint Satisfaction Algorithm for the Automated Decryption of Simple Substitution Ciphers. - Michael Lucks (CRYPTO, 1988)

Automated selection of mathematical software. - Michael Lucks; Ian Gladwell (ACM Trans. Math. Softw., 1992)