A design and implementation of the Extended Andorra Model. - Lopes, Ricardo; Costa, Vítor Santos; Silva, Fernando M. A. (Theory Pract. Log. Program., 2012)