A Parallel Self-Modifying Default Reasoning System. - Jack Minker; Donald Perlis; Krishnan Subramanian (AAAI, 1986)