Title: Debate
First published: 1998
Subjects: Programming (Electronic computers), Automatic theorem proving