S. Molick, “Lakatos’s Methodology and its Application to Logic Research Programs: A Comparative Study”, LLP, pp. 1–25, Mar. 2026.