5 works on record
Discovery science
Logic programming '87
Machine intelligence 14
Logic programming '88
Shizen gengo no kiso riron