29 This improvement of the covariation encoding can also be viewed as an instance of the program transformation technique referred to as deletion of clauses with a finitely failed body ( Pettorossi and Proietti 1994 ) .
transformations of logic programs foundations and techniques
Alberto Pettorossi Maurizio Proietti
As a result , the literal can be removed from the body of 29 This improvement of the covariation encoding can also be viewed as an instance of the program transformation technique referred to as deletion of clauses with a finitely failed body ( Pettorossi and Proietti 1994 ) . the clause .
29 This improvement of the covariation encoding can also be viewed as an instance of the program transformation technique referred to as deletion of clauses with a finitely failed body ( @@CITATION ) .