Michael Westergaard, Christian Stahl: Leveraging Super-Scalarity and Parallelism to Provide Fast Declare Mining without Restrictions. BPM (Demos) 2013