An expressively complete temporal logic without past tense operators for Mazurkiewicz traces (1999)

by DG99 V Diekert, P Gastin
Venue:In Proc. 13th Int. Workshop Computer Science Logic (CSL’99