Rose & Casler; Dietzenbacher & Los (decomposition formalization)

שיטות המיוחסות למחבר זה. שיטה 1