Fisher, Michael and Michael Wooldridge: A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. To be presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [tableau], [knowledge]. Code: [Fisher96A].