Algorithms to decide the generalised alibi query for space-time prisms with stationary activity time | Synapse