David Leasure. Automated Temporal Explanation with the Modal Logic Z. In Scott D. Goodwin, Howard J. Hamilton, editors, Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994. pages 134-139, University of Regina, Regina, SK, Canada, 1994.
Abstract is missing.