See the PDF here
Author(s)
Booker, Joshua
Presented at the 2019 Cal-IPC Symposium.