Toshio Yasui
-
The synthetic approach to decision table conversion
Communications of the ACM
Agent-oriented programming: from prolog to guarded definite clauses