TY  - BOOK
AU  - Leblane, Hugues.
TI  - Techniques of Deductive Inference
PY  - 1966///
CY  - New Jersey
PB  - Prentice Hall, Inc.
ER  -