Didier Galmiche, Jean-Marc Notin. Connection-based proof construction in Non-Commutative Logic.
10th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2003 - LPAR'03, 2003, Almaty/Kazakhstan, pp.422 - 436,
⟨10.1007/b13986⟩.
⟨inria-00099554⟩