A Bottom-Up Approach to Clausal Tableaux. - Peltier, Nicolas (2007)