Regular Dynamic Logic Is Not Interpretable in Deterministic Context-Free Dynamic Logic - Alexei P. Stolboushkin (Inf. Control., 1983)

The Comparison of the Expressive Power of First-Order Dynamic Logics. - Alexei P. Stolboushkin; Michael A. Taitslin (Theor. Comput. Sci., 1983)

Deterministic Dynamic Logic is Strictly Weaker than Dynamic Logic - Alexei P. Stolboushkin; Michael A. Taitslin (Inf. Control., 1983)

Flow-diagrams with sets. - Alexei P. Stolboushkin (Conference on Computer Logic, 1988)

Some Complexity Bounds for Dynamic Logics - Alexei P. Stolboushkin (LICS, 1989)

On the expressive power of program schemes with sets. - Alexei P. Stolboushkin (Jerusalem Conference on Information Technology, 1990)

Axiomatizable Classes of Finite Models and Definability of Linear Order - Alexei P. Stolboushkin (LICS, 1992)

On the Computing Power of Programs with Sets. - Alexei P. Stolboushkin (Int. J. Found. Comput. Sci., 1992)

Is First Order Contained in an Initial Segment of PTIME? - Alexei P. Stolboushkin; Michael A. Taitslin (CSL, 1994)

Finitely Monotone Properties - Alexei P. Stolboushkin (LICS, 1995)

Towards Recursive Model Theory. - Alexei P. Stolboushkin (Logic Colloquium, 1995)

Linear vs. Order Contstrained Queries Over Rational Databases. - Alexei P. Stolboushkin; Michael A. Taitslin (PODS, 1996)

Generic Queries over Quasy-o-minimal Domains. - Oleg V. Belegradek; Alexei P. Stolboushkin; Michael A. Taitslin (LFCS, 1997)

An Infinite Pebble Game and Applications. - A. J. Kfoury; Alexei P. Stolboushkin (Inf. Comput., 1997)

y = 2x vs. y = 3x. - Alexei P. Stolboushkin; Damian Niwinski (J. Symb. Log., 1997)

Safe Stratified Datalog with Integer Order Does Not Have Syntax. - Alexei P. Stolboushkin; Michael A. Taitslin (ACM Trans. Database Syst., 1998)

Normalizable linear orders and generic computations in finite models. - Alexei P. Stolboushkin; Michael A. Taitslin (Arch. Math. Log., 1999)

Extended Order-Generic Queries. - Oleg V. Belegradek; Alexei P. Stolboushkin; Michael A. Taitslin (Ann. Pure Appl. Log., 1999)

Finite Queries Do Not Have Effective Syntax. - Alexei P. Stolboushkin; Michael A. Taitslin (Inf. Comput., 1999)

Multiple-signal duplicate detection for search evaluation. - Scott B. Huffman; April Rasala Lehman; Alexei P. Stolboushkin; Howard Wong-Toi; Fan Yang; Hein Röhrig (SIGIR, 2007)