Details:
| Title | Automating Inductionless Induction using Test Sets | | Author(s) | Deepak Kapur, Paliath Narendran, Hantao Zhang | | Type | Article in Journal | | Length | 29 | | ISSN | 0747-7171 |
| Language | English | | Journal | Journal of Symbolic Computation | | Volume | 11 | | Number | 1--2 | | Pages | 83--111 | | Year | 1991 | | Translation |
No | | Refereed |
Yes |
|
