Search algorithms in type theory (2000)

by James Caldwell, Ian Gent, Judith Underwood
Venue:Theoretical Computer Science