Computational History: Challenges and Opportunities of Formal Approaches. Journal of Social Computing, (4)3:232–242, Institute of Electrical and Electronics Engineers (IEEE), September 2023. [PUMA: Challenges Computational History Opportunities nopdf] URL