1994 Logic, Language and Computation, Festschrift in Honor of Satoru Takasu Publisher Lecture Notes in Computer Science