TY - CONF T1 - Modal Tools for Separation and Refinement. JO - Electron. Notes Theor. Comput. Sci. PY - 2008/01/01 AU - Struth G ED - VL - 214 SP - 81 EP - 101 Y2 - 2024/12/22 ER -