A possible-worlds approach to the formalisation of #common sense'. - William Eric Hounslow (1993)