Augmented Dimension Portal Types. - Alonzo Kuang Ouyang; Gabriel López-Morteo; René Cruz-Flores (ENC, 2022)