_id,doi,title
5959,10.1109/emsoft.2018.8537203,Keynote: The first-order logic of signals