Guarded Horn CJauses (1986)

by K Ueda