Automated deduction for projection elimination - Wernhard, Christoph (Akadem. Verl.-Ges., 2009)