Component Refinement and CSC Solving for STG Decomposition.

Mark Schfer, Walter Vogler

Browse the full FOSSACS paper archive.