Soudness of Abductive Proof Procedure with Respect to Constraint for Non-Ground Abducibles. - Susumu Yamasaki; Yoshinori Kurose (Theor. Comput. Sci., 1998)

A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics. - Susumu Yamasaki; Yoshinori Kurose (Theor. Comput. Sci., 2001)