Relation algebras RD Maddux Elsevier, 2006 | 323 | 2006 |

On binary constraint problems PB Ladkin, RD Maddux Journal of the ACM (JACM) 41 (3), 435-469, 1994 | 289 | 1994 |

Some varieties containing relation algebras R Maddux Transactions of the American Mathematical Society 272 (2), 501-526, 1982 | 207 | 1982 |

The origin of relation algebras in the development and axiomatization of the calculus of relations RD Maddux Studia logica 50, 421-455, 1991 | 193 | 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 | 106 | 1983 |

On binary constraint networks PB Ladkin, RD Maddux Kestrel Institute, 1988 | 100 | 1988 |

Relation-algebraic semantics RD Maddux Theoretical Computer Science 160 (1-2), 1-85, 1996 | 84 | 1996 |

The equational theory of CA3 is undecidable1 R Maddux The Journal of Symbolic Logic 45 (2), 311-316, 1980 | 74 | 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 | 62 | 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 | 45 | 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 |

Representations for small relation algebras H Andréka, RD Maddux Notre Dame Journal of Formal Logic 35 (4), 550-562, 1994 | 29 | 1994 |

A perspective on the theory of relation algebras RD Maddux Algebra Universalis 31 (3), 456-465, 1994 | 28 | 1994 |

Representation and reasoning with convex time intervals Kestrel Institute, PB Ladkin, R Maddux | 28 | 1988 |