1. 6
    A Typed Foundation for Directional Logic Programming pdf ai plt cs.bham.ac.uk