Walter Didimo, Giuseppe Liotta, Maurizio Patrignani: HV-planarity: Algorithms and complexity. J. Comput. Syst. Sci. 99: 72-90 (2019)