Finder: Finite domain enumerator - system description (1994)

by John K Slaney
Venue:In CADE-12