Antiprenexing for WSkS: A Little Goes a Long Way.

Vojtech Havlena, Luks Holk, Ondrej Lengl, Ondrej Vales, Toms Vojnar

Browse the full LPAR paper archive.