Authors: Andrew M Marshall, Catherine A Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek,

Conference: International Workshop on Unification

Publication Date: 2020/6

PDF Link: https://www3.risc.jku.at/publications/download/risc_6129/proceedings-UNIF2020.pdf#page=58