Advances in high performance knowledge representation - Hendler, James; Stoffel, Kilian; Taylor, Merwyn (University of Maryland Institute for Advanced Computer Studies Dept. of Computer Science, Univ. of Maryland, July 1996. CS-TR-3672 (Also cross-referenced as UMIACS-TR-96-56), 1996)