Baldi, P.; D’Asaro, F. A. Non-Monotonic Bounded Reasoners. tr 2025, 19.