A Constructive Model of Directed Univalence in Bicubical Sets. - Matthew Z. Weaver; Daniel R. Licata (LICS, 2020)