Safe Positive Induction in the Programming Logic TK (1992)

Cached

Download Links

by Martin Henson
Venue:in: Logic Programming (ed. Voronkov, A.), LNCS 592
Citations:1 - 1 self