1. G. Almasi, A. Suvaaiala, I. Muslea, C. Cascaval, T. Davis, and V. Jagannathan. Web*: A technlogy to make information available on the web. Technical Report, Concurrent Engineering Research Center, West Virginia University, 1995.
2. ANSA. The ANSA Model for Trading and Federation. Architecture Report AR.005.00, 1993.
3. B. Beckert and J. Posegga. lean T
A
P: Lean tableau-based thereom proving. Journal of Automated Reasoning, 1995.
4. A. Beitz and M. Bearman. An ODP trading service for DCE. In Proceedings First International Workshop on Services in Distributed and Networked Environments, pages 42–49. 1994.
5. B. Burmeister, A. Haddadi, and K. Sundermeyer. Generic configurable cooperation protocols for multi-agent systems. In MAAMAW'93, Neuchatel, 1993.