Solving the Canonical Representation and Star System Problems for Proper Circular-Arc Graphs in Logspace.