Heifets, A. and Jurisica, I. (2021) “Construction of New Medicines via Game Proof Search”, Proceedings of the AAAI Conference on Artificial Intelligence, 26(1), pp. 1564-1570. doi: 10.1609/aaai.v26i1.8331.