Publication in BibTeX Format

@INPROCEEDINGS{AICPub1002:2000,
  AUTHOR={McGuinness, D. and Fikes, R. and Rice, J. and Wilder, S. },
  TITLE={An Environment for Merging and Testing Large Ontologies},
  BOOKTITLE={Proceedings of the Seventh International Conference on Principles of
     Knowledge Representation and Reasoning },
  YEAR={2000}
}