[1]
N. Kamide, “Temporal non-commutative logic: Expressing time, resource, order and hierarchy”, LLP, vol. 18, no. 2, pp. 97–126, Nov. 2009.