Yuji Matsumoto Special Feature on Natural Language Understanding and Logic Programming. 109-110 1996 14 New Generation Comput. 2 db/journals/ngc/ngc14.html#Matsumoto96