| |
| 2001 | ||
|---|---|---|
| 2 | EE | Susumu Yamasaki, Yoshinori Kurose: A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics. Theor. Comput. Sci. 266(1-2): 489-512 (2001) |
| 1998 | ||
| 1 | EE | Susumu Yamasaki, Yoshinori Kurose: Soudness of Abductive Proof Procedure with Respect to Constraint for Non-Ground Abducibles. Theor. Comput. Sci. 206(1-2): 257-281 (1998) |
| 1 | Susumu Yamasaki | [1] [2] |