Bard Bloom When is Partial Trace Equivalence Adequate? 317-338 1994 6 Formal Asp. Comput. 3 db/journals/fac/fac6.html#Bloom94