%A Yasuo Iwashita
%A Jun Sawamoto
%T Development of expert systems
in the fifth generation computer systems project
%J ICOT Journal
%K icot_j
%N 13
%D September 1986
%P 1-8

%A Kazunori Ueda
%T Introduction to Guarded Horn Clauses
%J ICOT Journal
%K icot_j
%N 13
%D September 1986
%P 9-18