An empirical study of computation equivalence as determined by decomposition slice equivalence
Keyword(s):
1996 ◽
Vol 81
(1)
◽
pp. 76-87
◽