Title: Gems of theoretical computer science
First published: 1998
Subjects: Automatic theorem proving
LC classification: QA76.9.A96