Intersection-Closed Full AFL and the Recursively Enumerable Languages Seymour Ginsburg Jonathan Goldstine 201-231 Information and Control April 1973 22 3 db/journals/iandc/iandc22.html#GinsburgG73