Introduction
WWW interface to ATP systems
Uses a suite of currently available ATP systems
Maintained in a database structure
Interface generated from database
Interface as current as database
Three part interface
Problem specification
Mode specification
System selection