Example: Recognizing circle graphs

not yet available