Lambek calculus and its relational semantics: completeness and incompleteness H Andréka, S Mikulás Journal of Logic, Language and Information 3 (1), 1-37, 1994 | 67 | 1994 |

Notions of density that imply representability in algebraic logic H Andréka, S Givant, S Mikulás, I Németi, A Simon Annals of pure and applied logic 91 (2), 93-190, 1998 | 40 | 1998 |

Taming logics S Mikulás | 38 | 1995 |

The mosaic method for temporal logics M Marx, S Mikulás, M Reynolds Automated reasoning with analytic tableaux and related methods, 324-340, 2000 | 37 | 2000 |

Complexity of equational theory of relational algebras with projection elements S Mikulás, I Sain, A Simon Bulletin of the Section of Logic 21 (3), 103-111, 1992 | 32 | 1992 |

Axiomatizability of reducts of algebras of relations I Hodkinson, S Mikulás Algebra Universalis 43 (2-3), 127-156, 2000 | 31 | 2000 |

The equational theory of Kleene lattices H Andréka, S Mikulás, I Németi Theoretical Computer Science 412 (52), 7099-7108, 2011 | 20 | 2011 |

Axiomatizability of positive algebras of binary relations H Andréka, S Mikulás Algebra universalis 66 (1-2), 7-34, 2011 | 19 | 2011 |

Investigations in arrow logic M Marx, S Mikulás, I Németi, I Sain Masuch, M. and L. Polos (ecls.), Logic at Work, Preproceedings of the First …, 1992 | 16 | 1992 |

Axiomatizing complex algebras by games I Hodkinson, S Mikulás, Y Venema algebra universalis 46 (4), 455-478, 2001 | 15 | 2001 |

Algebras of relations and relevance logic S Mikulás Journal of Logic and Computation 19 (2), 305-321, 2009 | 14 | 2009 |

Representable semilattice-ordered monoids R Hirsch, S Mikulás Algebra Universalis 57 (3), 333-370, 2007 | 14 | 2007 |

Expressiveness issues and decision problems for active database event queries J Bailey, S Mikulás Database Theory—ICDT 2001, 68-82, 2001 | 14 | 2001 |

Taming first-order logic S Mikulás Logic Journal of the IGPL 6 (2), 305-316, 1998 | 14 | 1998 |

Axiomatizability of representable domain algebras R Hirsch, S Mikulás The Journal of Logic and Algebraic Programming 80 (2), 75-91, 2011 | 13 | 2011 |

Cylindric structures and dependencies in relational databases I Düntsch, S Mikulás Theoretical Computer Science 269 (1), 451-468, 2001 | 12 | 2001 |

Products, or how to create modal logics of high complexity M Marx, S Mikulas Logic Journal of IGPL 9 (1), 71-82, 2001 | 12 | 2001 |

Positive fragments of relevance logic and algebras of binary relations R Hirsch, S Mikulás The Review of Symbolic Logic 4 (01), 81-105, 2011 | 9 | 2011 |

Labelled deduction for the guarded fragment M Marx, S Mikulás, S Schlobach Labelled deduction, 193-214, 2000 | 9 | 2000 |

Gabbay-style calculi S Mikulás Proof theory of modal logic, 243-252, 1996 | 9 | 1996 |