Computational logic - Berger, Ulrich, Ed.; Schwichtenberg, Helmut, Ed. (Berlin Springer-Verlag, 1999)
Keywords: Computer Logic