Entailment, Vol. II: The Logic of Relevance and Necessity AR Anderson, ND Belnap Jr, JM Dunn Princeton University Press, 2017 | 2759 | 2017 |

Temporal logic N Rescher, A Urquhart Springer Science & Business Media, 2012 | 893 | 2012 |

Hard examples for resolution A Urquhart Journal of the ACM (JACM) 34 (1), 209-219, 1987 | 522 | 1987 |

Many-valued logic A Urquhart Handbook of philosophical logic, 71-116, 1986 | 349* | 1986 |

The complexity of propositional proofs A Urquhart Bulletin of Symbolic Logic 1 (4), 425-467, 1995 | 275 | 1995 |

Semantics for relevant logics A Urquhart Journal of Symbolic Logic, 159-169, 1972 | 269 | 1972 |

Functional interpretations of feasibly constructive arithmetic S Cook, A Urquhart Annals of Pure and Applied Logic 63 (2), 103-200, 1993 | 209 | 1993 |

A topological representation theory for lattices A Urquhart Algebra Universalis 8 (1), 45-58, 1978 | 194 | 1978 |

The undecidability of entailment and relevant implication A Urquhart The Journal of Symbolic Logic 49 (4), 1059-1073, 1984 | 169 | 1984 |

Distributive lattices with a dual homomorphic operation A Urquhart Studia Logica 38 (2), 201-209, 1979 | 140 | 1979 |

Upper and lower bounds for tree-like cutting planes proofs R Impagliazzo, T Pitassi, A Urquhart Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 220-228, 1994 | 83 | 1994 |

Topological logic N Rescher Topics in Philosophical Logic, 229-249, 1968 | 70 | 1968 |

Duality for algebras of relevant logics A Urquhart Studia Logica 56 (1-2), 263-276, 1996 | 63 | 1996 |

An exponential separation between regular and general resolution M Alekhnovich, J Johannsen, T Pitassi, A Urquhart Proceedings of the thiry-fourth annual ACM symposium on Theory of computing …, 2002 | 61 | 2002 |

The complexity of decision procedures in relevance logic II A Urquhart The Journal of Symbolic Logic 64 (4), 1774-1802, 1999 | 54 | 1999 |

The symmetry rule in propositional logic A Urquhart Discrete Applied Mathematics 96, 177-193, 1999 | 54 | 1999 |

An exponential separation between regular and general resolution M Alekhnovich, J Johannsen, T Pitassi, A Urquhart Theory of Computing 3 (1), 81-102, 2007 | 53 | 2007 |

Approximation and small-depth Frege proofs S Bellantoni, T Pitassi, A Urquhart SIAM Journal on Computing 21 (6), 1161-1179, 1992 | 51 | 1992 |

Decidability and the finite model property A Urquhart Journal of Philosophical Logic 10 (3), 367-370, 1981 | 51 | 1981 |

Synonymous logics FJ Pelletier, A Urquhart Journal of Philosophical Logic 32 (3), 259-285, 2003 | 43 | 2003 |