DeGroot, Doug Logic programming : functions, relations, and equations. / DeGroot, Doug, Lindstrom, Gary Dewey Class. No.: 005.1 D363L R