Journal of Symbolic Computation, Volume 22, 1996

Volume 22, Number 1, July 1996

Volume 22, Number 2, August 1996

Volume 22, Number 3, September 1996

Volume 22, Number 4, October 1996

Volume 22, Number 5/6, November/December 1996

Executable Temporal Logics