Solving symbolic ordering constraints (0)

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