Search Tree Unification: Paradigm for Process-based Logic Programs

Szabolcs Ferenczi. Search Tree Unification: Paradigm for Process-based Logic Programs. In ICLP. pages 70-74, 1994. [doi]

Abstract

Abstract is missing.