Kenneth Harris
publications		Automated Reasoning Computability