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