Katrin Erk and
Joachim Niehren. Parallelism Constraints. In
L. Bachmair editor, 11th International Conference on Rewriting Techniques and Applications (RTA '00), July 10-12, Springer, University of East Anglia, Norwich, UK, 2000. [Abstract] google [Annote]
