@inproceedings{inproceedings, title = {{Modal Tools for Separation and Refinement.}}, url = {{}}, year = {{2008}}, month = {{1}}, author = {{Struth G}}, volume = {{214}}, journal = {{Electron. Notes Theor. Comput. Sci.}}, pages = {{81-101}}, note = {{Accessed on 2025/05/21}}}