A Graph-Based Approach To Resolution In Temporal Logic (1994)

by Clare Dixon, Michael Fisher, Howard Barringer
Venue:In Temporal Logic, First International Conference, ICTL '94, Proceedings