Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi. Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications. Journal of Symbolic Computation, 45(5):551-573, 2010. [doi]
No reviews for this publication, yet.