Molick, S. Lakatos’s Methodology and Its Application to Logic Research Programs: A Comparative Study. LLP 2026, 1-25.