Adding papers in abstract interpretation, abstract machines, binary decision trees, constrainth andling rules, constraint logic programming, continuations, datalog from swannodette's collection.