From propositional to first-order monitoring. (2013)

by Andreas Bauer, Jan-Christoph Kuster, Gil Vegliach
Venue:In Runtime Verification - 4th Int. Conference, RV’13,