Tree-Like Parse and Polynomial Subclasses of Search Problems. - Valentinas Kriauciukas (Inf. Process. Lett., 1986)

Nonclassical Models for Logic Programs. - Valentinas Kriauciukas (PDK, 1991)

Reasoning and Rewriting with Set-Relations I: Ground Completeness. - Valentinas Kriauciukas; Michal Walicki (CSL, 1994)

Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness. - Valentinas Kriauciukas; Michal Walicki (COMPASS/ADT, 1995)