| Proof systems for infinite behaviours | 6 | 0.64 | 1992 |
| Fairness, distances and degrees | 9 | 0.91 | 1992 |
| Effective Solutions to Domain Equations - An Approach to Effective Denotational Semantics | 2 | 0.43 | 1990 |
| Constructive Aspects of the Omega-Rule: Application to Proof Systems in Computer Science and Algorithmic Logic | 3 | 0.63 | 1989 |
| Recursive (omega)o-Rule for Proof Systems | 0 | 0.34 | 1989 |
