TY  - BOOK
AU  - Kleine Buning, H
AU  - Lettman,Theodor
TI  - Propositional logic: deduction and algorithms 
SN  - 0521630177
PY  - 1999///
CY  - Cambridge [England]: New York
PB  -  Cambridge University Press
KW  - Computer logic
KW  - Computer algorithms
N1  - Includes bibliographical references (p. 385-402) and index
ER  -