Peter E. Hart, Nils J. Nilsson, and Bertram Raphael

שיטות המיוחסות למחבר זה. שיטה 1