Jack Minker, Donald Perlis, Krishnan Subramanian: A Parallel Self-Modifying Default Reasoning System. AAAI 1986: 923-927