Automated Model Building

@book{automaticmodelbuilding-book2004,
   address = {Dordrecht},
   apice = {AutomaticmodelbuildingBook2004},
   author = {Ricardo Caferra and Alexander Leitsch and Nicholas Peltier},
   booktitle = {Automated Model Building},
   doi = {10.1007/978-1-4020-2653-9},
   issn = {1386-2790},
   openalex = {W2161689238},
   publisher = {Springer},
   series = {Applied Logic Series},
   title = {Automated Model Building},
   url = {https://link.springer.com/10.1007/978-1-4020-2653-9},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/978-1-4020-2653-9.pdf},
   volume = 31,
   year = 2004
}