A Resolution Method for Temporal Logic

Michael Fisher. A Resolution Method for Temporal Logic. In IJCAI. pages 99-104, 1991.

Abstract

Abstract is missing.