Rome Laboratory, 26 Electronic Pky, Griffiss AFB NY 13441-4514

A -- FORMAL METHODS FOR INTEGRATING KNOWLEDGE-BASES POC LAURIE MARCHESANI, CONTRACT SPECIALIST, 315-330-4996. CNT F30602-95-C-0122 AMT $949,970.00 DTD 041795 TO KESTREL INSTITUTE, 3260 HILLVIEW AVENUE, PALO ALTO, CA 94304 (0114)

Loren Data Corp. http://www.ld.com (SYN# 0456 19950425\A-0002.AWD)