Controlling Knowledge Deduction in a Declarative Approach. - Hervé Gallaire; Claudine Lasserre (IJCAI, 1979)