Details:
Title | | Author(s) | Franz Baader | Type | Article in Journal | Keywords | equational reasoning | ISSN | 0004-5411 |
URL |
doi.acm.org/10.1145/174130.174133 |
Language | English | Journal | Journal of the ACM (JACM) | Volume | 40 | Number | 3 | Pages | 477-503 | Publisher | ACM Press | Address | New York, NY, USA | Year | 1993 | Month | July | Translation |
No | Refereed |
No |
|