Techniques for preventing the recomputation in logic programs. - Paolo Jorge De Sousa Azevedo (1996)