Unification for Quantified Formula SiegWilfried KauffmannBarabara 1993 Wilfred Sieg and Barbara Kauffmann. Unification for Quantified Formula.