Text this: Decision procedure for a fragment of dynamic logic