| tech,4-1-C94-1077,ak | A new , flexible <term> inference method </term> for <term> Horn logic program </term> is proposed . | #26767 A new, flexibleinference method for Horn logic program is proposed. |
|
|
|
|
| tech,4-1-C94-1077,ak | A new , flexible <term> inference method </term> for <term> Horn logic program </term> is proposed . | #26767 A new, flexibleinference method for Horn logic program is proposed. |
