%A Kazunori Ueda
%T Guarded Horn clauses
%R D.Eng. Thesis
%I University of Tokyo
%C Tokyo, Japan
%D March 1986
%K ghc, AND-parallelism