On the Computational Power of Extensional ESO.

Manuel Bodirsky, Santiago Guzmn-Pro

Browse the full LICS paper archive.