@inproceedings{inproceedings, title = {{Can Refinement be Automated?}}, url = {{}}, year = {{2008}}, month = {{1}}, author = {{H枚fner P and Struth G}}, volume = {{201}}, journal = {{Electron. Notes Theor. Comput. Sci.}}, pages = {{197-222}}, note = {{Accessed on 2025/06/26}}}