Turner,Raymond Logic for artificial inteligence - New York John wiley & sons - 121 ISBN: 0521373247 Dewey Class. No.: 004.383.8 TUR