Logging*

(* Not througly analyzed in the paper)