Valentinas Kriauciukas

发表

Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness

Michal Walicki, Valentinas Kriauciukas, 1995, COMPASS/ADT.

Nonclassical Models for Logic Programs

Valentinas Kriauciukas, 1991, PDK.

Tree-Like Parse and Polynomial Subclasses of Search Problems

Valentinas Kriauciukas, 1986, Inf. Process. Lett..

Reasoning and Rewriting with Set-Relations I: Ground Completeness

Michal Walicki, Valentinas Kriauciukas, 1994, CSL.