Sohrabi, S., O. Udrea, and A. Riabov. “Hypothesis Exploration for Malware Detection Using Planning”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 27, no. 1, June 2013, pp. 883-9, doi:10.1609/aaai.v27i1.8552.