Intersection-Closed full AFL and the Recursively Enumerable Languages

Intersection-Closed full AFL and the Recursively Enumerable Languages Seymour Ginsburg Jonathan Goldstine 121-131 conf/stoc/STOC3 1971 STOC db/conf/stoc/stoc71.html#GinsburgG71 http://doi.acm.org/10.1145/800157.805044