An overview of automated reasoning and related fields L. WosFernando PereiraCordell Green ReviewPaper Pages: 5 - 48
ROGET: A knowledge-based system for acquiring the conceptual structure of a diagnostic expert system James S. Bennett OriginalPaper Pages: 49 - 74
On the role of automated theorem proving in the compile-time derivation of concurrency Christian Lengauer OriginalPaper Pages: 75 - 101