Lisp Code for Algorithms 1 and 2

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