Journal of logic and computation (Oxford Univ. Press, 1990)