Keyword:antiprenexing

Publications
Antiprenexing for WSkS: A Little Goes a Long Way Vojtěch Havlena, Lukáš Holík, Ondrej Lengal, Ondrej Vales and Tomas Vojnar In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning