Stratified Default Theories. - Pawel Cholewinski (CSL, 1994)

Experimenting with Nonmonotonic Reasoning. - Pawel Cholewinski; V. Wiktor Marek; Artur Mikitiuk; Miroslaw Truszczynski (ICLP, 1995)

Reasoning with Stratified Default Theories. - Pawel Cholewinski (LPNMR, 1995)

Towards Programming in Default Logic. - Pawel Cholewinski (ISMIS, 1996)

Default Reasoning System DeReS. - Pawel Cholewinski; V. Wiktor Marek; Miroslaw Truszczynski (KR, 1996)

Seminormal Stratified Default Theories. - Pawel Cholewinski (Ann. Math. Artif. Intell., 1996)

Computing with Default Logic. - Pawel Cholewinski; V. Wiktor Marek; Miroslaw Truszczynski; Artur Mikitiuk (Artif. Intell., 1999)

Extremal Problems in Logic Programming and Stable Model Computation. - Pawel Cholewinski; Miroslaw Truszczynski (J. Log. Program., 1999)