Donald Cohen Automatic Compilation of Logical Specifications into Efficient Programs. 21-25 1986 AAAI db/conf/aaai/aaai86-1.html#Cohen86