Towards a Formal Computation Model of Associative Logic Programming

Arvind K. Bansal. Towards a Formal Computation Model of Associative Logic Programming. In ICLP. pages 11-20, 1994. [doi]

Abstract

Abstract is missing.