Possible cardinalities of irredundant bases for finite closure structures. - Steven Givant (Discret. Math., 1975)

Bibliography of Alfred Tarski. - Steven Givant (J. Symb. Log., 1986)

Universal Theories Categorical in Power and kappa-Generated Models. - Steven Givant; Saharon Shelah (Ann. Pure Appl. Log., 1994)

The Lattice of Varieties of Representable Relation Algebras. - Hajnal Andréka; Steven Givant; István Németi (J. Symb. Log., 1994)

Perfect Extensions and Derived Algebras. - Hajnal Andréka; Steven Givant; István Németi (J. Symb. Log., 1995)

Decision problems for equational theories of relation algebras. - Hajnal Andréka; Steven Givant; István Németi (American Mathematical Society, 1997)

Notions of Density That Imply Representability in Algebraic Logic. - Hajnal Andréka; Steven Givant; Szabolcs Mikulás; István Németi; András Simon (Ann. Pure Appl. Log., 1998)

Tarski's system of geometry. - Alfred Tarski; Steven Givant (Bull. Symb. Log., 1999)

Universal Classes of Simple Relation Algebras. - Steven Givant (J. Symb. Log., 1999)

Groups and algebras of nary relations. - Steven Givant; Hajnal Andréka (Bull. Symb. Log., 2002)

Inequivalent representations of geometric relation algebras. - Steven Givant (J. Symb. Log., 2003)

The Calculus of Relations as a Foundation for Mathematics. - Steven Givant (J. Autom. Reason., 2006)

V*-Algebras, Independence Algebras and Logic. - João Araújo 002; Mário J. Edmundo; Steven Givant (Int. J. Algebra Comput., 2011)

On Tarski's Axiomatic Foundations of the Calculus of Relations. - Hajnal Andréka; Steven Givant; Peter Jipsen; István Németi (J. Symb. Log., 2017)

A representation theorem for measurable relation algebras. - Steven Givant; Hajnal Andréka (Ann. Pure Appl. Log., 2018)

The Variety of coset Relation Algebras. - Steven Givant; Hajnal Andréka (J. Symb. Log., 2018)

Nonrepresentable Relation Algebras from Groups - addendum. - Hajnal Andréka; István Németi; Steven Givant (Rev. Symb. Log., 2019)

Nonrepresentable Relation Algebras from Groups. - Hajnal Andréka; István Németi; Steven Givant (Rev. Symb. Log., 2020)