Reasoning-Based Techniques for Dealing with Incomplete Business Process Execution Traces · Study