A guide to programming logic and design comprehensive - Farrell, Joyce (Cambridge, Mass. : Course Technology, 1999)
Keywords: Logic programming; Logic design