Pruning in the Extended Andorra Model

Ricardo Lopes, VĂ­tor Santos Costa, Fernando M. A. Silva. Pruning in the Extended Andorra Model. In Bharat Jayaraman, editor, Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings. Volume 3057 of Lecture Notes in Computer Science, pages 120-134, Springer, 2004. [doi]

Abstract

Abstract is missing.