HyLoRes: A hybrid logic prover based on direct resolution (2002)

by C Areces, J Heguiabehere
Venue:Proceedings of Advances in Modal Logic (AiML'02