@InProceedings{dovland09ifm,
  author =       {Johan Dovland and Einar Broch Johnsen and Olaf Owe
                  and Martin Steffen},
  title =        {Incremental Reasoning for Multiple Inheritance},
  booktitle =    {Proc.\ 7th International Conference on Integrated Formal
                  Methods ({iFM}'09)},
  editor =       {Michael Leuschel and Heike Wehrheim},
  year =         2009,
  series =       {Lecture Notes in Computer Science},
  volume =       5423,
  pages =        {215--230},
  publisher =    {Springer-Verlag},
  month =        feb,
}