Axiomatizing U and S over integer time
2005 ◽
pp. 117-132
◽