PP-2002-15: Carlos Areces, Juan Heguiabehere HyLoRes: A Hybrid Logic Prover Based on Direct Resolution 1.Abstract, 2.Full Text (PDF), 3.Full Text (PS). < Back
