, ,
Springer
Lecture Notes in Computer Science
International Symposium on Mathematical Foundations of Computer Science

Groote, J. F., & van de Pol, J. (2000). State space reduction using partial $ \tau $ -confluence. In Mathematical Foundations of Computer Science 2000 (MFCS 25) (pp. 383–393). Springer.