Joosten, 2018. Finding models through graph saturation 100.. https://doi.org/10.1016/j.jlamp.2018.06.005