Antiprenexing for WSkS: A Little Goes a Long Way. - Vojtech Havlena; Lukás Holík; Ondrej Lengál; Ondrej Vales; Tomás Vojnar (LPAR, 2020)