missing ltlsynt reference
Now that a paper exists, it should be mentioned at least in
- doc/org/citing.org
- bib/man/ltlsynt.x (see other man pages with bibliographic sections for examples)
Edited by Alexandre Duret-Lutz
Now that a paper exists, it should be mentioned at least in