The Work Algorithms for Relevant Logic (with Pascal Gribomont and Didier Rossetto) The details The Author Paul Gochet The offers