 As an immediate application of this graph-theoretic setting, the preservation of the finite-model property by graph-theoretic fibring was proved in Coniglio et al. 2011. Since (under reasonable conditions) the finite model property entails decidability, this result is particularly useful.