APA (7th ed.) Citation

Gerevini, A., Schubert, L., & Schaeffer, S. (1994). The temporal reasoning tools TimeGraph I-II. Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94, Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on, Tools with artificial intelligence, 513-520. https://doi.org/10.1109/TAI.1994.346448

Chicago Style (17th ed.) Citation

Gerevini, A., L. Schubert, and S. Schaeffer. "The Temporal Reasoning Tools TimeGraph I-II." Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94, Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on, Tools with Artificial Intelligence 1994: 513-520. https://doi.org/10.1109/TAI.1994.346448.

MLA (8th ed.) Citation

Gerevini, A., et al. "The Temporal Reasoning Tools TimeGraph I-II." Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94, Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on, Tools with Artificial Intelligence, 1994, pp. 513-520, https://doi.org/10.1109/TAI.1994.346448.

Warning: These citations may not always be 100% accurate.
Visit our Citation Styles guide for help on properly citing sources.