A science of reasoning, in: Computational Logic: Essays in Honour of Alan (1990)

by A Bundy