DOI,IST REx ID,Research Group,Title of publication
10.1109/emsoft.2018.8537203,5959,ToHe,Keynote: The first-order logic of signals