-N. D. Jones/M. Hagiya/M. Sato (Eds.): Logic, Language and Computation, Springer-Verlag 1994