Enumeration reducibility in closure spaces with applications to logic and algebra | IEEE Conference Publication | IEEE Xplore