Details:
| Title | | | Author(s) | Timothy Stokes | | Type | Article in Journal | | ISSN | 0168-7433 |
| Language | English | | Journal | Journal of Automated Reasoning | | Volume | 6 | | Number | 3 | | Pages | 233-250 | | Publisher | Kluwer Academic Publishers | | Address | Hingham, MA, USA | | Year | 1990 | | Month | September | | Translation |
No | | Refereed |
No |
|
