HyLoRes a hybrid logic prover based on direct resolution - Areces, Carlos; Heguiabehere, Juan (Inst. for Logic, Language and Computation, 2002)