P. Baldi and F. A. D’Asaro, “Non-monotonic bounded reasoners”, tr, vol. 19, no. 1, Jan. 2025.