Mark Reynolds Axiomatizing <i>U</i> and <i>S</i> over Integer Time. 117-132 1994 conf/ictl/1994 ICTL db/conf/ictl/ictl1994.html#Reynolds94