Automated Model Building

   page       BibTeX_logo.png   
Ricardo Caferra, Alexander Leitsch, Nicholas Peltier
Applied Logic Series 31
Springer, Dordrecht
2004