De Morgan algebras are universal. - M. E. Adams; Hilary A. Priestley (Discret. Math., 1987)

Ordered sets with no infinite antichains. - Jimmie D. Lawson; Michael W. Mislove; Hilary A. Priestley (Discret. Math., 1987)

Partition-induced natural dualities for varieties of pseudo- complemented distributive lattices. - Brian A. Davey; Hilary A. Priestley (Discret. Math., 1993)

A Multipurpose Backtracking Algorithm. - Hilary A. Priestley; Martin P. Ward (J. Symb. Comput., 1994)

The Syntax and Semantics of Entailment in Duality Theory. - Brian A. Davey; Miroslav Haviar; Hilary A. Priestley (J. Symb. Log., 1995)

Natural dualities for varieties of n-valued Lukasiewicz algebras. - Hilary A. Priestley (Stud Logica, 1995)

Optimal natural dualities for varieties of Heyting algebras. - Brian A. Davey; Hilary A. Priestley (Stud Logica, 1996)

Ordered Sets and Complete Lattices. - Hilary A. Priestley (Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000)

Introduction to Lattices and Order, Second Edition. - Brian A. Davey; Hilary A. Priestley (Cambridge University Press, 2002)

Optimal Natural Dualities: the Structure of Failsets. - Maria João Antunes Dias Gouveia Saramago; Hilary A. Priestley (Int. J. Algebra Comput., 2002)

Boolean Topological Distributive Lattices and Canonical Extensions. - Brian A. Davey; Miroslav Haviar; Hilary A. Priestley (Appl. Categorical Struct., 2007)

Duality for Double Quasioperator Algebras via their Canonical Extensions. - Mai Gehrke; Hilary A. Priestley (Stud Logica, 2007)

Canonical extensions and completions of posets and lattices. - Mai Gehrke; Hilary A. Priestley (Reports Math. Log., 2008)

Natural Dualities in Partnership. - Brian A. Davey; Miroslav Haviar; Hilary A. Priestley (Appl. Categorical Struct., 2012)

Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras. - Brian A. Davey; Hilary A. Priestley (Stud Logica, 2012)

Coproducts of Distributive Lattice based Algebras. - Leonardo Manuel Cabrer; Hilary A. Priestley (TACL, 2013)

A Fresh Perspective on Canonical Extensions for Bounded Lattices. - A. P. K. Craig; Miroslav Haviar; Hilary A. Priestley (Appl. Categorical Struct., 2013)

Product representation for default bilattices: an application of natural duality theory. - Leonardo Manuel Cabrer; A. P. K. Craig; Hilary A. Priestley (CoRR, 2013)

Canonical Extensions and Profinite Completions of Semilattices and Lattices. - Maria João Antunes Dias Gouveia Saramago; Hilary A. Priestley (Order, 2014)

A general framework for product representations: bilattices and beyond. - Leonardo Manuel Cabrer; Hilary A. Priestley (Log. J. IGPL, 2015)

Natural Dualities Through Product Representations: Bilattices and Beyond. - Leonardo Manuel Cabrer; Hilary A. Priestley (Stud Logica, 2016)

Bohr Compactifications of Algebras and Structures. - Brian A. Davey; Miroslav Haviar; Hilary A. Priestley (Appl. Categorical Struct., 2017)

Checking Admissibility Using Natural Dualities. - Leonardo Manuel Cabrer; Benjamin Freisberg; George Metcalfe; Hilary A. Priestley (ACM Trans. Comput. Log., 2019)

Leo Esakia, Heyting Algebras: Duality Theory, Guram Bezhanishvili and Wesley A. Holliday, (eds.), Springer International Publishing, Series: Trends in Logic, Vol. 50, 2019, pp. 95+xv. - Hilary A. Priestley (Stud Logica, 2021)