Computational logic - Boyer R S; Moore J S (N Y Academic Press, 1979)
Keywords: Computational logic; Computer science