Joeri Engelfriet Jan Treur A compositional reasoning system for executing nonmonotonic theories of reasoning. 593-607 2003 18 Int. J. Intell. Syst. 6 http://dx.doi.org/10.1002/int.10108 db/journals/ijis/ijis18.html#EngelfrietT03