Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva: Pruning in the Extended Andorra Model. PADL 2004: 120-134