A Note on Asymptotic Probabilities of Existential Second-Order Minimal Classes - the Last Step. - Lidia Tendera (Fundam. Informaticae, 1994)

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)

Finite Model Reasoning in ALCQI is EXPTIME Logics. - Carsten Lutz; Ulrike Sattler; Lidia Tendera (Description Logics, 2003)

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)

Counting in the Two Variable Guarded Logic with Transitivity. - Lidia Tendera (STACS, 2005)

The complexity of finite model reasoning in description logics. - Carsten Lutz; Ulrike Sattler; Lidia Tendera (Inf. Comput., 2005)

On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. - Emanuel Kieronski; Lidia Tendera (LPAR, 2007)

On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations. - Emanuel Kieronski; Lidia Tendera (LICS, 2009)

Means and Limits of Decision (Invited Talk). - Lidia Tendera (CSL, 2013)

Querying the Guarded Fragment with Transitivity. - Georg Gottlob; Andreas Pieris; Lidia Tendera (ICALP (2), 2013)

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

Two-Variable First-Order Logic with Equivalence Closure. - Emanuel Kieronski; Jakub Michaliszyn; Ian Pratt-Hartmann; Lidia Tendera (SIAM J. Comput., 2014)

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

Finite Model Reasoning in Expressive Fragments of First-Order Logic. - Lidia Tendera (M4M@ICLA, 2017)

Equivalence closure in the two-variable guarded fragment. - Emanuel Kieronski; Ian Pratt-Hartmann; Lidia Tendera (J. Log. Comput., 2017)

Decidability Frontier for Fragments of First-Order Logic with Transitivity. - Lidia Tendera (Description Logics, 2018)

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

Two-variable logics with counting and semantic constraints. - Emanuel Kieronski; Ian Pratt-Hartmann; Lidia Tendera (ACM SIGLOG News, 2018)

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants. - Emanuel Kieronski; Lidia Tendera (ACM Trans. Comput. Log., 2018)

The Fluted Fragment with Transitivity. - Ian Pratt-Hartmann; Lidia Tendera (MFCS, 2019)

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)

On the Fluted Fragment (Invited Talk). - Lidia Tendera (STACS, 2021)

The fluted fragment with transitive relations. - Ian Pratt-Hartmann; Lidia Tendera (Ann. Pure Appl. Log., 2022)

Adding Transitivity and Counting to the Fluted Fragment. - Ian Pratt-Hartmann; Lidia Tendera (CSL, 2023)

On Two-variable First-order Logic with a Partial Order. - Dariusz Marzec; Lidia Tendera (CILC, 2024)