Under consideration for publication in J. Functional Programming 1 Algebras for combinatorial search

by Michael Spivey