Algebras for combinatorial search (2006)

by Michael Spivey Oxford , Michael Spivey
Venue:In Workshop on Mathematically Structured Functional Programming