Results 1 -
0 of
0
No citations were found for this document.
Safe positive induction in the programming logic TK (1992)
by M C Henson
| Venue: | in: Logic Programming (ed. Voronkov, A.), LNCS 592 |
