Text this: Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 / edited by Eiiti Wada.