Declarative Process Specifications: Reasoning and Mining Temporal Formulae (Wolfram Institute)