Charlotte Herzeel Kris Gybels Pascal Costanza Coen De Roover Theo D'Hondt Forward chaining in HALO: an implementation strategy for history-based logic pointcuts. 157-182 2007 ICDL http://doi.acm.org/10.1145/1352678.1352689 conf/smalltalk/2007icdl db/conf/smalltalk/icdl2007.html#HerzeelGCRD07