Keyword:antiprenexing

Papers
Antiprenexing for WSkS: A Little Goes a Long Way Vojtěch Havlena, Lukas Holik, Ondrej Lengal, Ondrej Vales and Tomas Vojnar In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning