Heifets, A.; Jurisica, I. Construction of New Medicines via Game Proof Search. AAAI 2021, 26, 1564-1570.