Publication in BibTeX Format

@INPROCEEDINGS{AICPub993:2003,
  AUTHOR={Waldinger, R. , Jarvis, P., and Dungan, J.},
  TITLE={Using Deduction to Choreograph Multiple Data Sources},
  BOOKTITLE={Semantic Web Technologies for Searching and Retrieving},
  ADDRESS={Sanibel Island, Florida},
  ORGANIZATION={2nd International Semantic Web Conference},
  MONTH={oct},
  YEAR={2003},
  ABSTRACT={Automatic theorem proving is employed to coordinate multiple data and
     knowledge sources. Sources are related to a central axiomatic theory so that
     their interaction can be inferred. The method is applied to human language
     question answering in geography and earth science.}
}