On Finite Model Property of the Equational Theory of Kleene Algebras. - Ewa Palka (Fundam. Informaticae, 2005)

Igor Lavrov and Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Translated by Valentin Shehtman, Kluwer Academic/Plenum Publishers, New York, 2003, pp xi + 282, ISBN 0-306-47712-2. - Ewa Palka (Stud Logica, 2005)

An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices. - Ewa Palka (Fundam. Informaticae, 2007)

Infinitary Action Logic: Complexity, Models and Grammars. - Wojciech Buszkowski; Ewa Palka (Stud Logica, 2008)