Executable Temporal Logic Systems

1996 Journal of symbolic computation  
doi:10.1006/jsco.1996.0073 fatcat:irywl2eukzh6xjuqpcbfqyesri