@Article{dovland11scp,
  author  = {Johan Dovland and Einar Broch Johnsen
             and Olaf Owe and Martin Steffen},
  title   = {Incremental Reasoning with Lazy Behavioral Subtyping for Multiple Inheritance},
  journal = {Science of Computer Programming},
  volume  = {76},
  number  = {10},
  year    = {2011},
  pages   = {915--941},
}