The clausal theory of types - Wolfram, D. A. (Cambridge : Cambridge University Press, 1993)
Includes bibliographical references (p. 107-120) and index
Keywords: Logic programming