@article{article, title = {{Abstract abstract reduction}}, url = {{}}, year = {{2006}}, month = {{2}}, author = {{Struth G}}, doi = {{10.1016/j.jlap.2005.04.001}}, volume = {{66}}, journal = {{J LOGIC ALGEBR PROGR}}, issue = {{2}}, pages = {{239-270}}, note = {{Accessed on 2025/05/18}}}