ILPS97 Invited Talks
Temporal Logic Model Checking
Ed Clarke
Inductive Databases and Condensed Representations for Data Mining
Heikki Mannila
Program Analysis via Graph Reachability
Tom Reps
11 Aug 1997,
Ulf Nilsson