SAIC Advanced System Concepts. - Bradley R. Bebee; Bryan B. Thompson; Mike Personick; David Fado; Kendall Clark (Rule Languages for Interoperability, 2005)