Modal Theorem Proving: An Equational Viewpoint

Yves Auffray, Patrice Enjalbert. Modal Theorem Proving: An Equational Viewpoint. In IJCAI. pages 441-445, 1989.

Abstract

Abstract is missing.