The Functional Strategy and Transitive Term Rewriting Systems (1993)

by Yoshihito Toyama , Sjaak Smetsers , Marko van Eekelen , Rinus Plasmeijer
Citations:17 - 1 self