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 | 85 | 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 | 48 | 1998 |

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

Taming logics S Mikulás | 41 | 1995 |

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

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

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 | 29* | 1992 |

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

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

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

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

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

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

Ordered domain algebras R Hirsch, S Mikulás Journal of Applied Logic 11 (3), 266-271, 2013 | 16 | 2013 |

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

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 | 15 | 1992 |

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

The algebra of functions with antidomain and range R Hirsch, M Jackson, S Mikulás arXiv preprint arXiv:1410.3981, 2014 | 13 | 2014 |

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

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 | 11 | 2011 |