[ACM] Logic and Functional Programming, 1984

• Malachi, Yonathan; Manna, Zohar and Waldinger, Ric (1984) Malachi, Yonathan; Manna, Zohar and Waldinger, Richard "TABLOG: The deductive tableau programming language"