Leuschel, Michael (2008) Declarative Programming for Verification: Lessons and Outlook. In: Proceedings of PPDP'2008. ACM Press.