D. Strohmaier and S. Wimmer, “Contrafactives and Learnability”, Proceedings of the AC, pp. 305–312, Dec. 2022, doi: 10.53437/qtzbka37.