Publication:2871849
From MaRDI portal
zbMath1278.03041MaRDI QIDQ2871849
No author found.
Publication date: 10 January 2014
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066108001801?np=y
Related Items
Invariant-free clausal temporal resolution, Dual systems of tableaux and sequents for PLTL, Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method
Uses Software