Detecting SIP Call Loops

An Undecidable Problem