A Theory of Automatic Logic Programming Based on Second Order Term Rewriting Technique. - Huaiming Sun; Qun Liang (IWAR, 1992)