TABLOG: The Deductive-Tableau Programming Language. - Yonathan Malachi; Zohar Manna; Richard J. Waldinger (LISP and Functional Programming, 1984)

TABLOG: A New Approach To Logic Programming. - Yonathan Malachi; Zohar Manna; Richard J. Waldinger (Logic Programming: Functions, Relations, and Equations, 1986)

Tablog: Functional and Relational Programming in One Framework. - Yonathan Malachi; Zohar Manna; Richard J. Waldinger (IEEE Softw., 1986)

Nonclausal Logic Programming. - Yonathan Malachi (1986)