Seppe K. L. M. vanden Broucke, Filip Caron, Jan Vanthienen, Bart Baesens. Validating and Enhancing Declarative Business Process Models Based on Allowed and Non-occurring Past Behavior. In Niels Lohmann, Minseok Song, Petia Wohed, editors, Business Process Management Workshops - BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers. Volume 171 of Lecture Notes in Business Information Processing, pages 212-223, Springer, 2013. [doi]