Tim S Lyon, and Luc\'ıa Gómez Álvarez. Automating reasoning with standpoint logic via nested sequents. arXiv, 2022. [PUMA: topic_knowledge]