Logic programming '85 : PROCEEDINGS OF THE 4TH CONFERENCE, TOKYO, JAPAN JULY 1-3 1985. - Wada, Eiiti (Springer Verlag, 1985)