Report copyright - Mart´ın Abadi · 2005-09-16 · Systems 8, 1 (February 1990), 18–36. 50. “Temporal Logic Programming” [Mart´ın Abadi and Zohar Manna] Journal of Symbolic Computation 8,
Please pass captcha verification before submit form
Please pass captcha verification before submit form