ByNobleID
    Implementation and evaluation of dynamic predicates on the sequential inference machine CHI | NobleID