Gurney J, Perlis D, Purang K.  1997.  Interpreting presuppositions using active logic: From contexts to utterances. Computational Intelligence. 13(3):391-413.