"Well Structured Transition Systems with History."

Parosh Aziz Abdulla, Giorgio Delzanno, Marco Montali (2015)
Schloss Dagstuhl LZI