Towards Semantic Goal-Directed Forward Reasoning in Resolution. - Seungyeob Choi (AIMSA, 2002)

Semantic Selection for Resolution in Clause Graphs. - Seungyeob Choi; Manfred Kerber (Australian Joint Conference on Artificial Intelligence, 2002)