See thesis: https://tel.archives-ouvertes.fr/tel-00644079/document http://demo.clab.cs.cmu.edu/fa2015-11711/images/d/d4/Ambiguity.pdf
