@inproceedings{inproceedings, title = {{Handling Inconsistencies in Z Using Quasi-Classical Logic.}}, publisher = {{Springer}}, url = {{https://doi.org/10.1007/3-540-45648-1 }}, year = {{2002}}, month = {{1}}, author = {{Miarka R and Derrick J and Boiten EA}}, volume = {{2272}}, journal = {{ZB}}, pages = {{204-225}}, note = {{Accessed on 2025/07/19}}}