Process algebra with iteration and nesting JA Bergstra, I Bethke, A Ponse The Computer Journal 37 (4), 243-258, 1994 | 160 | 1994 |

A propositional logic with 4 values: true, false, divergent and meaningless JA Bergstra, I Bethke, P Rodenburg Journal of Applied Non-Classical Logics 5 (2), 199-217, 1995 | 76 | 1995 |

Polarized process algebra and program equivalence JA Bergstra, I Bethke International Colloquium on Automata, Languages, and Programming, 1-21, 2003 | 62 | 2003 |

Descendants and origins in term rewriting I Bethke, JW Klop, R de Vrijer Information and Computation 159 (1-2), 59-124, 2000 | 61 | 2000 |

Cancellation meadows: a generic basis theorem and some applications JA Bergstra, I Bethke, A Ponse The Computer Journal 56 (1), 3-14, 2013 | 45 | 2013 |

Molecular dynamics JA Bergstra, I Bethke The Journal of Logic and Algebraic Programming 51 (2), 193-214, 2002 | 28 | 2002 |

Notes on partial combinatory algebras I Bethke University of Amsterdam, 2018 | 26 | 2018 |

The initial meadows I Bethke, P Rodenburg The Journal of Symbolic Logic 75 (3), 888-895, 2010 | 23 | 2010 |

Process algebra with iteration JA Bergstra, I Bethke, A Ponse University of Amsterdam, Faculty of Mathematics and Computer Science …, 1993 | 22 | 1993 |

On the existence of extensional partial combinatory algebras I Bethke The Journal of symbolic logic 52 (3), 819-833, 1987 | 21 | 1987 |

Decision problems for pushdown threads JA Bergstra, I Bethke, A Ponse Acta Informatica 44, 75-90, 2007 | 19 | 2007 |

Equations for formally real meadows JA Bergstra, I Bethke, A Ponse Journal of Applied Logic 13 (2), 1-23, 2015 | 17 | 2015 |

Collapsing partial combinatory algebras I Bethke, JW Klop International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, 57-73, 1995 | 15 | 1995 |

Polarized process algebra with reactive composition JA Bergstra, I Bethke Theoretical Computer Science 343 (3), 285-304, 2005 | 14 | 2005 |

The structure of finite meadows I Bethke, P Rodenburg, A Sevenster Journal of Logical and Algebraic Methods in Programming 84 (2), 276-282, 2015 | 12 | 2015 |

Thread algebra and risk assessment services JA Bergstra, I Bethke, A Ponse Logic Colloquium 5, 2005 | 12 | 2005 |

Process algebra with combinators JA Bergstra, I Bethke, A Ponse Computer Science Logic: 7th Workshop, CSL'93 Swansea, United Kingdom …, 1994 | 12 | 1994 |

Subvarieties of the variety of meadows JA Bergstra, I Bethke arXiv preprint arXiv:1510.04021, 2015 | 11 | 2015 |

Note on paraconsistency and reasoning about fractions JA Bergstra, I Bethke Journal of Applied Non-Classical Logics 25 (2), 120-124, 2015 | 11 | 2015 |

Completing partial combinatory algebras with unique head-normal forms I Bethke, JW Klop, R de Vrijer Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 448-454, 1996 | 11 | 1996 |