Vol-2012⫷ Vol-2013 ⫸Vol-2014
urn:nbn:de:0074-2013-0


Vol-2013/paper15⫷Vol-2013/paper16⫸Vol-2013/paper17

Towards Elimination of Second-Order Quantifiers in the Separated Fragment