Author: Logic Meeting (1987 Kyoto, Japan)