Martin Davis Carl Smith Paul Young 1 Information and Control January 1982 52 1 http://theory.lcs.mit.edu/~iandc/ic82.html