Modal Theorem Proving: An Equational Viewpoint.

Yves Auffray, Patrice Enjalbert

Browse the full IJCAI paper archive.