Incremental Reasoning for Multiple Inheritance.

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen

Browse the full IFM paper archive.