Solving symbolic ordering constraints (1990)

by H Comon
Venue:International Journal of Foundations of Computer Science