Reliable plan selection by intelligent machines - McInroy, John E. (Series in intelligent control and intelligent automation ;, 1995)