@Bibtex-file{Ai/combin.bib,
  title =        "Bibliography on Combination Methods in Automated
                 Reasoning",
  author =       "Cesare Tinelli",
  email =        "tinelli@cs.uiowa.edu",
  address =      "Department of Computer Science\\ University of Iowa\\
                 14 McLean Hall\\ Iowa City, Iowa 52242\\USA",
  supported =    "yes",
  copyright =    "Use and reproduction of this bibliography is granted
                 to anybody provided that its source is acknowledged and
                 no commercial use is made of it.",
  readme =       "We invite you to contribute to this database by
                 sending additional entries to tinelli@cs.uiowa.edu",
  keywords =     "combination of: unification algorithms, satisfiability
                 procedures, algebraic domains, logical theories",
}