The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality - Leszek Pacholski; Wieslaw Szwast (FOCS, 1989)

On the generator problem. - Wieslaw Szwast (Math. Log. Q., 1990)

On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality - Leszek Pacholski; Wieslaw Szwast (LICS, 1991)

Asymptotic Probabilities of Existential Second-Order Gödel Structures. - Leszek Pacholski; Wieslaw Szwast (J. Symb. Log., 1991)

On Horn Spectra. - Wieslaw Szwast (Theor. Comput. Sci., 1991)

A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality - Leszek Pacholski; Wieslaw Szwast (Inf. Comput., 1993)

A Note on the Asymptotic Probabilities of Existential Second-Order Minimal Gödel Sentences with Equality. - Wieslaw Szwast (Int. J. Found. Comput. Sci., 1995)

Complexity of Two-Variable Logic with Counting. - Leszek Pacholski; Wieslaw Szwast; Lidia Tendera (LICS, 1997)

Complexity Results for First-Order Two-Variable Logic with Counting. - Leszek Pacholski; Wieslaw Szwast; Lidia Tendera (SIAM J. Comput., 2000)

On the Decision Problem for the Guarded Fragment with Transitivity. - Wieslaw Szwast; Lidia Tendera (LICS, 2001)

The guarded fragment with transitive guards. - Wieslaw Szwast; Lidia Tendera (Ann. Pure Appl. Log., 2004)

On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity. - Wieslaw Szwast; Lidia Tendera (LPAR, 2005)

FO^2 with one transitive relation is decidable. - Wieslaw Szwast; Lidia Tendera (STACS, 2013)

Quine's Fluted Fragment is Non-Elementary. - Ian Pratt-Hartmann; Wieslaw Szwast; Lidia Tendera (CSL, 2016)

Quine's Fluted Fragment Revisited. - Ian Pratt-Hartmann; Wieslaw Szwast; Lidia Tendera (CoRR, 2018)

The Fluted Fragment Revisited. - Ian Pratt-Hartmann; Wieslaw Szwast; Lidia Tendera (J. Symb. Log., 2019)

On the satisfiability problem for fragments of two-variable logic with one transitive relation. - Wieslaw Szwast; Lidia Tendera (J. Log. Comput., 2019)