See the PDF here
Author(s)
Kaji, Isao
Presented at the 2022 Cal-IPC Symposium.