Wilson, 1977. SPARK: A System for Parallel Representation of Knowledge, in: .