Signature-check Based Unification Filter

SOFTWARE-PRACTICE AND EXPERIENCE, VOL.24(7), 603-622 (JULY 1994)