Alvaro del Val Tractable Classes for Directional Resolution. 343-348 2000 conf/aaai/2000 AAAI/IAAI db/conf/aaai/aaai2000.html#Val00b