Reasoning with Dependency Structures and Lexicographic Definitions using Unit Graphs
Maxime Lefrançois, Fabien Gandon