Véronique Cortier Stéphanie Delaune Graham Steel A Formal Theory of Key Conjuring. 79-96 2007 CSF http://dx.doi.org/10.1109/CSF.2007.5 conf/csfw/2007 db/conf/csfw/csf2007.html#CortierDS07