Artificial intelligence and mathematical theory of computation : papers in honour of John McCarthy /
Lifschitz, Vladimir.
Boston, Mass. ; London : Academic Press,
c1991.