Topos Based Semantic for Constructive Logic with Strong Negation. - Barbara Klunder (Math. Log. Q., 1992)

Varieties of Pseudo-Interior Algebras. - Barbara Klunder (Stud Logica, 2000)

Amalgamation in Varieties of Pseudo-interior Algebras. - Barbara Klunder (Stud Logica, 2003)

On Star-Connected Flat Languages. - Barbara Klunder; Edward Ochmanski; Krystyna Stawikowska (Fundam. Informaticae, 2005)

Star-Connected Flat Languages and Automata. - Barbara Klunder (Fundam. Informaticae, 2006)

Finite Automata Accepting Star-Connected Languages. - Barbara Klunder (CIAA, 2007)

Characterization of Star-Connected Languages Using Finite Automata. - Barbara Klunder (LATA, 2008)

Post Correspondence Problem with Partially Commutative Alphabets. - Barbara Klunder; Wojciech Rytter (LATA, 2010)