Proving Properties about Lists Using Containers. - Rawle C. S. Prince; Neil Ghani; Conor McBride (FLOPS, 2008)

Aspects of the theory of containers within automated theorem proving. - Rawle C. S. Prince (2011)

Meta-Analytic Framework for Efficiently Identifying Progression Groups in Highway Condition Analysis. - Rawle C. S. Prince; Matthew Byrne; Tony Parry (J. Comput. Civ. Eng., 2016)