Search algorithms in type theory (2000)

by James L. Caldwell , Ian P. Gent , Judith Underwood
Citations:8 - 2 self