Logic, language, and computation festschrift in honor of Satoru Takasu - Takasu, Satoru 1931-; Jones, Neil D.; Hagiya, Masami 1957-; Sato, Masahiko 1947- (Lecture notes in computer science, 1994)