DeGroot, Doug

Logic programming : functions, relations, and equations. / DeGroot, Doug, Lindstrom, Gary

005.1 D363L R