@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}}}