Jaap van der Woude, Stef Joosten: Relational Heterogeneity Relaxed by Subtyping. RAMiCS 2011: 347-361