Logic,language and computation - Jones N D; Hagiya Masami (Berlin Springer Verlag, 1994)
Keywords: Computational logic; Computer science