192	  Maamria, Issam and Butler, Michael and Edmunds, Andrew and Rezazadeh, Abdolbaghi  (2010) On an Extensible Rule-based Prover for Event-B.  In: ABZ2010.    (In Press)