Algorithm Walter Randelshofer 2009
WF2
MU · NR2 NL2 · MU2 · NR2 NL2 · MU
M2R2 M2F2 NU WF2 NU2 WF2 NU M2F2 M2R2
WF2 (18 btm, 36 ftm, 64 qtm)
Algorithm Walter Randelshofer 2014
WF2
M2R2 M2F2 NU WF2 NU2 WF2 MU · NR2 NL2 · MU2 · NR2 NL2 · VU M2F2 M2R2
WF2 (17 btm, 34 ftm, 62 qtm)