"Bounds on the Propagation of Selection into Logic Programs."

Catriel Beeri et al. (1987)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics