This page contains a link to the Lisp implementation of
Algoritms 1 and 2 of the paper "Towards Automating Discovery of
Decreasing Measures" by R.S. Boyer, W.J. Legato and V.W. Marek.
Here is the link to the code.
Set up: July 127, 2005
Notes last modified: July 27, 2005