Yet Another Induction Algorithm.

Jiyuan An, Yi-Ping Phoebe Chen

Browse the full KES paper archive.