| |
| 1991 | ||
|---|---|---|
| 3 | Vladimir S. Neiman: Deduction with Generalized Terms. RCLP 1991: 338-348 | |
| 1990 | ||
| 2 | Vladimir S. Neiman: Refutation Search for Horn Sets by a Subgoal-Extraction Method. J. Log. Program. 9(2&3): 267-284 (1990) | |
| 1988 | ||
| 1 | Vladimir S. Neiman: On the problem of reducing search in logic program execution. Conference on Computer Logic 1988: 232-241 | |