TY  - BOOK
AU  - Caferra,Ricardo
TI  - Automated model building
SN  - 1402026528
PY  - 2004///
CY  - Dordrecht ; London
PB  - Kluwer Academic
KW  - Automatic theorem proving
KW  - Applied logic
N1  - Includes bibliographical references (p. 327-341)
ER  -