, ,
Springer
Lecture Notes in Computer Science
International Symposium on Theoretical Aspects of Computer Software

Bosscher, D. (1994). Term rewriting properties of SOS axiomatisations. In Theoretical Aspects of Computer Software 1994 (TACS 2) (pp. 425–439). Springer.