Efficient Reduction of Bisimulation Formulas (1993)

by U H Engberg, K S Larsen