An Undecidable Problem in SIP #1 Post by petithug » Mon, Dec 15, 2014, 5:15 PM UTC An Undecidable Problem in SIPblog.marc.petit-huguenin.org