...constraints
An alternative to stride constraints was used in [Pug92]; methods for converting between these formalisms are given in [PW93b]
omega@cs.umd.edu