| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Proof Complexity and Feasible Arithmetics: Dimacs Workshop April 21-24, 1996 | 978-O-8218-O577-O (O-8218-O577-O) | 1997 | Dimacs (Group) · NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science |