Logic and algorithms with applications to the computer and information sciences - Korfhage R R (London John Wiley, 1966)
Keywords: Algorithms; Computational logic; Information science