KAT: A Knowledge Acquisition Tool for Acquiring Functional Knowledge Based Upon the No-Causality-In-Functional Principle. - Congxiao Lu; David J. Russomanno (SAC, 1999)