Stefan Feyock Syntax Programming. 110-115 1984 AAAI db/conf/aaai/aaai84.html#Feyock84