TY  - CONF

T1  - Handling Inconsistencies in Z Using Quasi-Classical Logic.

JO  - ZB

UR  - https://doi.org/10.1007/3-540-45648-1

PY  - 2002/01/01

AU  - Miarka R

AU  - Derrick J

AU  - Boiten EA

ED  - Bert D

ED  - Bowen JP

ED  - Henson MC

ED  - Robinson K

PB  - Springer

VL  - 2272

SP  - 204

EP  - 225

Y2  - 2025/04/29

ER  -