book: Nilsson, Ulf 1 jan 1995

Logic, programming and prolog

0-471-95996-0

4.1 NIL