The following publications are possibly variants of this publication:
- Implementing a fair monodic temporal logic proverMichel Ludwig, Ullrich Hustadt. aicom, 23(2-3):69-96, 2010. [doi]
- Deciding Monodic Fragments by Temporal ResolutionUllrich Hustadt, Boris Konev, Renate A. Schmidt. cade 2005: 204-218 [doi]
- Monodic Temporal ResolutionAnatoli Degtyarev, Michael Fisher, Boris Konev. cade 2003: 397-411 [doi]
- Monodic temporal resolutionAnatoli Degtyarev, Michael Fisher, Boris Konev. tocl, 7(1):108-150, 2006. [doi]
- Redundancy Elimination in Monodic Temporal ReasoningMichel Ludwig, Ullrich Hustadt. ftp 2010: [doi]
- Fair Derivations in Monodic Temporal ReasoningMichel Ludwig, Ullrich Hustadt. cade 2009: 261-276 [doi]
- Handling Equality in Monodic Temporal ResolutionBoris Konev, Anatoli Degtyarev, Michael Fisher. lpar 2003: 214-228 [doi]