Shai Ben-David Mauricio Karchmer Eyal Kushilevitz On Ultrafilters and NP. 97-105 1994 Structure in Complexity Theory Conference db/conf/coco/coco94.html#Ben-DavidKK94