From Propositional to First-Order Monitoring.

Andreas Bauer, Jan-Christoph Kster, Gil Vegliach

Browse the full RV paper archive.