Resolving Rule Conflicts with Double Induction.

Tony Lindgren, Henrik Bostrm

Browse the full IDA paper archive.