Up a level |
Number of items: 1.
Dixon, Clare ORCID: 0000-0002-4610-9533, Konev, Boris ORCID: 0000-0002-6507-0494, Fisher, Michael and Nietiadi, Sherly
(2013)
Deductive temporal reasoning with constraints.
JOURNAL OF APPLIED LOGIC, 11 (1).
pp. 30-51.