Howard Bowman Eerke A. Boiten John Derrick Maarten Steen Strategies for Consistency Checking Based on Unification. 261-298 1999 33 Sci. Comput. Program. 3 db/journals/scp/scp33.html#BowmanBDS99