@inproceedings(DBLP:conf/fsttcs/CarayolW03,
 author       = {A. Carayol and S. W{\"{o}}hrle},
 year         = {2003},
 title        = {The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata},
 booktitle    = {{FST} {TCS} 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings},
 pages        = {112--123},
 doi          = {10.1007/978-3-540-24597-1_10},
)
@inproceedings(DBLP:conf/caap/Caucal90,
 author       = {D. Caucal},
 year         = {1990},
 title        = {On the Regular Structure of Prefix Rewriting},
 booktitle    = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings},
 pages        = {87--102},
 doi          = {10.1007/3-540-52590-4_42},
)
@inproceedings(DBLP:conf/mfcs/Caucal02,
 author       = {D. Caucal},
 year         = {2002},
 title        = {On Infinite Terms Having a Decidable Monadic Theory},
 booktitle    = {Mathematical Foundations of Computer Science 2002, 27th International Symposium, {MFCS} 2002, Warsaw, Poland, August 26-30, 2002, Proceedings},
 pages        = {165--176},
 doi          = {10.1007/3-540-45687-2_13},
)
@inproceedings(DBLP:conf/birthday/Caucal08,
 author       = {D. Caucal},
 year         = {2008},
 title        = {Deterministic graph grammars},
 booktitle    = {Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas].},
 pages        = {169--250},
 doi          = {10.5117/9789053565766},
)
@article(DBLP:journals/lmcs/ColcombetL07,
 author       = {T. Colcombet and C. L{\"{o}}ding},
 year         = {2007},
 title        = {Transforming structures by set interpretations},
 journal      = {Logical Methods in Computer Science},
 volume       = {3},
 number       = {2},
 doi          = {10.2168/LMCS-3(2:4)2007},
)
@inproceedings(DBLP:conf/lics/DauchetT90,
 author       = {M. Dauchet and S. Tison},
 year         = {1990},
 title        = {The Theory of Ground Rewrite Systems is Decidable},
 booktitle    = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science {(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
 pages        = {242--248},
 doi          = {10.1109/LICS.1990.113750},
)
@book(ebbinghaus1996mathematical,
 author       = {H. Ebbinghaus and J. Flum and W. Thomas},
 year         = {1996},
 title        = {Mathematical Logic},
 series       = {Undergraduate Texts in Mathematics},
 publisher    = {Springer New York},
 url          = {https://books.google.com/books?id=VYLA8m7cqYcC},
)
@article(DBLP:journals/tcs/Hodgson82,
 author       = {B. R. Hodgson},
 year         = {1982},
 title        = {On Direct Products of Automaton Decidable Theories},
 journal      = {Theor. Comput. Sci.},
 volume       = {19},
 pages        = {331--335},
 doi          = {10.1016/0304-3975(82)90042-1},
)
@inproceedings(DBLP:conf/birthday/Lodaya07,
 author       = {K. Lodaya},
 year         = {2007},
 title        = {Petri Nets, Event Structures and Algebra},
 booktitle    = {Formal Models, Languages and Applications [this volume commemorates the 75th birthday of Prof. Rani Siromoney].},
 pages        = {246--259},
 doi          = {10.1142/9789812773036_0017},
)
@phdthesis(phdthesis/Loeding,
 author       = {C. L{\"{o}}ding},
 year         = {2003},
 title        = {Infinite Graphs Generated by Tree Rewriting},
 school       = {RWTH Aachen},
)
@inproceedings(DBLP:conf/lics/Madhusudan03,
 author       = {P. Madhusudan},
 year         = {2003},
 title        = {Model-checking Trace Event Structures},
 booktitle    = {18th {IEEE} Symposium on Logic in Computer Science {(LICS} 2003), 22-25 June 2003, Ottawa, Canada, Proceedings},
 pages        = {371--380},
 doi          = {10.1109/LICS.2003.1210077},
)
@inproceedings(DBLP:conf/fsttcs/Schulz10,
 author       = {S. Schulz},
 year         = {2010},
 title        = {First-Order Logic with Reachability Predicates on Infinite Systems},
 booktitle    = {{IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010, Chennai, India},
 pages        = {493--504},
 doi          = {10.4230/LIPIcs.FSTTCS.2010.493},
)
@inbook(Shields1997,
 author       = {M. Shields},
 year         = {1997},
 title        = {Asynchronous Transition Systems},
 pages        = {183--189},
 publisher    = {Springer London},
 address      = {London},
 doi          = {10.1007/978-1-4471-0933-4_15},
)
@article(Thiagarajan_1996,
 author       = {P. Thiagarajan},
 year         = {1996},
 title        = {Regular Trace Event Structures},
 journal      = {BRICS Report Series},
 volume       = {3},
 number       = {32},
 doi          = {10.7146/brics.v3i32.20012},
 url          = {https://tidsskrift.dk/brics/article/view/20012},
)
@inproceedings(DBLP:conf/lics/WohrleT04,
 author       = {S. W{\"{o}}hrle and W. Thomas},
 year         = {2004},
 title        = {Model Checking Synchronized Products of Infinite Transition Systems},
 booktitle    = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004), 14-17 July 2004, Turku, Finland, Proceedings},
 pages        = {2--11},
 doi          = {10.1109/LICS.2004.1319595},
)