A. Heifets and I. Jurisica, “Construction of New Medicines via Game Proof Search”, AAAI, vol. 26, no. 1, pp. 1564–1570, Sep. 2021.