Roberta Gori and Giorgio Levi .
Finite failure is and-compositional.
Selected references Krzysztof R. Apt and Dino Pedreschi. Reasoning about termination of pure prolog programs. Annalisa Bossi and Nicoletta Cocco. Basic transformation operations which preserve computed answer substitutions of logic programs. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, and Maurizio Martelli.