TY  - BOOK
AU  - Wolfram,D.A.
TI  - The clausal theory of types
T2  - Cambridge tracts in theoretical computer science
SN  - 9780521117906 (pbk.)
PY  - 1993///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Logic programming
N1  - Includes bibliographical references (p. 107-120) and index
ER  -