| Relation algebras RD Maddux Elsevier, 2006 | 314 | 2006 |
| On binary constraint problems PB Ladkin, RD Maddux Journal of the ACM (JACM) 41 (3), 435-469, 1994 | 292 | 1994 |
| Some varieties containing relation algebras R Maddux Transactions of the American Mathematical Society 272 (2), 501-526, 1982 | 205 | 1982 |
| The origin of relation algebras in the development and axiomatization of the calculus of relations RD Maddux Studia logica 50, 421-455, 1991 | 192 | 1991 |
| TOPICS IN RELATION ALGEBRAS. RD Maddux University of California, Berkeley, 1978 | 112 | 1978 |
| Nonfinite axiomatizability results for cylindric and relation algebras RD Maddux The Journal of Symbolic Logic 54 (3), 951-974, 1989 | 106 | 1989 |
| A SEQUENT CALCULUS FOR RELATION ALGEBRAS zyxwvutsrqponmlkjihgfedc R Maddux Annals of pure and applied logic 25, 73-101, 1983 | 103 | 1983 |
| On binary constraint networks PB Ladkin, RD Maddux Kestrel Institute, 1988 | 101 | 1988 |
| Relation-algebraic semantics RD Maddux Theoretical Computer Science 160 (1-2), 1-85, 1996 | 82 | 1996 |
| The equational theory of CA3 is undecidable1 R Maddux The Journal of Symbolic Logic 45 (2), 311-316, 1980 | 73 | 1980 |
| Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections R Maddux Algebraic logic 54, 361-392, 1991 | 63 | 1991 |
| Pair-dense relation algebras RD Maddux Transactions of the American Mathematical Society 328 (1), 83-131, 1991 | 61 | 1991 |
| Relation algebra reducts of cylindric algebras and an application to proof theory R Hirsch, I Hodkinson, RD Maddux The Journal of Symbolic Logic 67 (1), 197-213, 2002 | 60 | 2002 |
| Some sufficient conditions for the representability of relation algebras RD Maddux Algebra Universalis 8 (2), 162-172, 1978 | 59 | 1978 |
| Finitary algebraic logic RD Maddux Mathematical Logic Quarterly 35 (4), 321-332, 1989 | 46 | 1989 |
| Provability with finitely many variables R Hirsch, I Hodkinson, RD Maddux Bulletin of Symbolic Logic 8 (3), 348-379, 2002 | 34 | 2002 |
| Self-similarity and the species-area relationship RD Maddux The American Naturalist 163 (4), 616-626, 2004 | 32 | 2004 |
| Representation and reasoning with convex time intervals Kestrel Institute, PB Ladkin, R Maddux | 29 | 1988 |
| Representations for small relation algebras H Andréka, RD Maddux Notre Dame Journal of Formal Logic 35 (4), 550-562, 1994 | 28 | 1994 |
| A perspective on the theory of relation algebras RD Maddux Algebra Universalis 31 (3), 456-465, 1994 | 28 | 1994 |
