Rose & Casler; Dietzenbacher & Los (decomposition formalization)

归于该作者名下的方法。 1 种方法