["VIVID: The Kernel of a Knowledge Representation Environment

Based on the Constraints Paradigm of Computation", J. Maleki,

Proc 20th Annual Hawaii Intl Conf on System Sciences (Jan

1987) pp.591-597].