A Formal Associative Model of Logic Programming and its Abstract Instruction Set. - Arvind K. Bansal; P. V. Lokam; M. N. Ghandikota (ICTAI, 1994)