A term rewriting characterization of the
β
Isabel Oitavem
π
Article
π
2002
π
Springer
π
English
β 124 KB