Logic programming : new frontiers - Brough D R (Netherlands Kluwer Academic Pub, 1992)
Keywords: Computer science; Logic programming