R. D. Dormer Craig MacNish The PAC-Learnability of Planning Algorithms: Investigating Simple Planning Domains. 83-95 1999 116 Inf. Sci. 1 db/journals/isci/isci116.html#DormerM99