%A Laurent Vieille
%T Recursive axioms in deductive databases: various solutions
%R KB-6
%I European Computer-industry Research Centre
%C Munich, Germany
%K ECRC
%D April 1985

%A Laurent Vieille
%T Recursive axioms in deductive databases: the query-subquery approach
%R KB-10
%I European Computer-industry Research Centre
%C Munich, Germany
%K ECRC
%D September 1985

%A Laurent Vieille
%T A proof procedure db-complete for recursive axioms
%R KB-11
%I European Computer-industry Research Centre
%C Munich, Germany
%K ECRC
%D June 1986