@Inproceedings{MiguelCabral_6_2021,
   author = "Miguel Cabral and Mikolas Janota and Vasco Manquinho",
   title = "How to Approximate Leximax-optimal Solutions",
   booktitle = "Pragmatics of SAT 2021",
   year = 2021,
   month = jun,
   BibTexOrigem = "16677 www.Inesc-ID.pt 2023-10-03"
}