"Reliable Plan Selection by Intelligent Machines"

John E. McInroy, Joseph C. Musto, George N. Saridis (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics