Pierre Wolper. Expressing Interesting Properties of Programs in Propositional Temporal Logic. In POPL. pages 184-193, 1986.
@inproceedings{Wolper86, title = {Expressing Interesting Properties of Programs in Propositional Temporal Logic}, author = {Pierre Wolper}, year = {1986}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/Wolper86}, cites = {0}, citedby = {0}, pages = {184-193}, booktitle = {POPL}, }