HyLoRes a hybrid logic prover based on direct resolution - Areces, Carlos; Heguiabehere, Juan (ILLC research report and technical notes series, 2002)