@inproceedings{inproceedings, title = {{Automated element-wise reasoning with sets}}, url = {{}}, year = {{2004}}, month = {{1}}, author = {{Struth G}}, journal = {{PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS}}, pages = {{320-329}}, note = {{Accessed on 2025/06/27}}}