Monica Nesi. Formalizing a Modal Logic for CSS in the HOL Theorem Prover. In Luc J. M. Claesen, Michael J. C. Gordon, editors, Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL 92, Leuven, Belgium, 21-24 September 1992. Volume A-20 of IFIP Transactions, pages 279-294, North-Holland/Elsevier, 1992.
Abstract is missing.