Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism

Alberto Pettorossi Maurizio Proietti Sophie Renault Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism http://arxiv.org/abs/cs.PL/0311044 2003 CoRR cs.PL/0311044 db/journals/corr/corr0311.html#cs-PL-0311044 informal publication