A term rewriting characterization of the
โ
Isabel Oitavem
๐
Article
๐
2002
๐
Springer
๐
English
โ 124 KB