TY  - BOOK
AU  - Wolfram, D A.
TI  - Clausal Theory of Types
SN  - 0 521 39538 0
CY  - Cambridge
KW  - Computer - Logic Programming
ER  -