Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds (Logical Methods in Computer Science, 2012)