"The ins and outs of first-order runtime verification."

Andreas Bauer, Jan-Christoph Küster, Gil Vegliach (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics