Kamide, N. 2009. Temporal non-commutative logic: Expressing time, resource, order and hierarchy. Logic and Logical Philosophy. 18, 2 (Nov. 2009), 97–126. DOI:https://doi.org/10.12775/LLP.2009.007.