{Clausal Remporal Resolution}