Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection - Citation Graph | Papersgraph