A Typed Foundation for Directional Logic Programming [pdf]cs.bham.ac.uk1 pointtodsacerdoti2 years ago