1. Introduction;Bann,1972
2. Discussion 2: Time and Formal Systems;Edmonds,1985
3. Exhibition 4: Duality and Co-Existence;Edmonds,1985
4. Logic for Problem Solving;Kowalski,1979
5. Support for Tentative Design: Incorporating the Screen Image, as an Object, into PROLOG;Schappo;IJMMS,1986