Original language | English |
---|---|
Title of host publication | Proceedings 4th International Workshop on First-Order Theorem Proving (FTP'03, Valencia, Spain, June 12-14, 2003) |
Pages | 162-173 |
Number of pages | 12 |
DOIs | |
Publication status | Published - 2003 |
Publication series
Name | Electronic Notes in Theoretical Computer Science |
---|---|
Publisher | Elsevier |
Number | 1 |
Volume | 86 |
ISSN (Print) | 1571-0661 |