Limits of Using Signatures for Permutation Independent Boolean Comparison.

Janett Mohnke Paul Molitor Sharad Malik Limits of Using Signatures for Permutation Independent Boolean Comparison. 167-191 2002 21 Formal Methods in System Design 2 db/journals/fmsd/fmsd21.html#MohnkeMM02