Reliable Plan Selection by Intelligent MachinesGeorge N. Saridis, John E. McLnroy, Joseph C. Musto · First published 1996Open the Tome
