Incremental reasoning with lazy behavioral subtyping for multiple inheritance
scientific article; zbMATH DE number 5925515
scientific article