Automating Inductionless Induction using Test Sets (1991)

Cached

Download Links

by Deepak Kapur , Paliath Narendran , Hantao Zhang
Venue:Journal of Symbolic Computation
Citations:16 - 3 self