 | 1995 |
|---|
| 4 |       | Valentinas Kriauciukas,
Michal Walicki:
Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness.
COMPASS/ADT 1995: 306-321 |
| 1994 |
|---|
| 3 |  | Valentinas Kriauciukas,
Michal Walicki:
Reasoning and Rewriting with Set-Relations I: Ground Completeness.
CSL 1994: 264-278 |
| 1991 |
|---|
| 2 | | Valentinas Kriauciukas:
Nonclassical Models for Logic Programs.
PDK 1991: 179-190 |
| 1986 |
|---|
| 1 | | Valentinas Kriauciukas:
Tree-Like Parse and Polynomial Subclasses of Search Problems.
Inf. Process. Lett. 22(1): 49-54 (1986) |
