A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts.

Peiya Liu, Ruey-Juin Chang

Browse the full AAAI paper archive.