Reflection in Constructive and Non-constructive Automated Reasoning. - Fausto Giunchiglia; Alan Smaill (META, 1988)

A Rational Reconstruction and Extension of Recursion Analysis. - Alan Bundy; Frank van Harmelen; Jane Hesketh; Alan Smaill; Andrew Stevens 001 (IJCAI, 1989)

The Oyster-Clam System. - Alan Bundy; Frank van Harmelen; Christian Horn; Alan Smaill (CADE, 1990)

Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. - Alan Bundy; Frank van Harmelen; Alan Smaill; Andrew Ireland (CADE, 1990)

An Algebraic Semantics of Prolog Program Termination. - Brian J. Ross; Alan Smaill (ICLP, 1991)

Experiments with Proof Plans for Induction. - Alan Bundy; Frank van Harmelen; Jane Hesketh; Alan Smaill (J. Autom. Reason., 1991)

Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs. - Jane Hesketh; Alan Bundy; Alan Smaill (CADE, 1992)

On the Use of the Constructive Omega-Rule within Automated Deduction. - Siani Baker; Andrew Ireland; Alan Smaill (LPAR, 1992)

Music Representation - Between the Musician and the Computer. - Alan Smaill; Geraint A. Wiggins; Eduardo Reck Miranda (Music Education: An Artificial Intelligence Approach, 1993)

Automatic Characterisation of Musical Style. - Martin D. Westhead; Alan Smaill (Music Education: An Artificial Intelligence Approach, 1993)

Rippling: A Heuristic for Guiding Inductive Proofs. - Alan Bundy; Andrew Stevens 001; Frank van Harmelen; Andrew Ireland; Alan Smaill (Artif. Intell., 1993)

Hierarchical music representation for composition and analysis. - Alan Smaill; Geraint A. Wiggins; Mitch Harris (Comput. Humanit., 1993)

A Proof Environment for Arithmetic with the Omega Rule. - Siani Baker; Alan Smaill (AISMC, 1994)

Mollusc: A General Proof-Development Shell for Sequent-Based Logics. - Bradley L. Richards; Ina Kraan; Alan Smaill; Geraint A. Wiggins (CADE, 1994)

Experiments in Automating Hardware Verification Using Inductive Proof Planning. - Francisco J. Cantu; Alan Bundy; Alan Smaill; David A. Basin (FMCAD, 1996)

Higher-Order Annotated Terms for Proof Search. - Alan Smaill; Ian Green (TPHOLs, 1996)

NatureTime: Temporal Granularity in Simulation of Ecosystems. - Edjard Mota; David Stuart Robertson 001; Alan Smaill (J. Symb. Comput., 1996)

System Description: Proof Planning in Higher-Order Logic with Lambda-Clam. - Julian Richardson; Alan Smaill; Ian Green (CADE, 1998)

Automating the Synthesis of Decision Procedures in a Constructive Metatheory. - Alessandro Armando; Jason Gallagher; Alan Smaill; Alan Bundy (Ann. Math. Artif. Intell., 1998)

Deductive Synthesis of Recursive Plans in Linear Logic. - Stephen Cresswell; Alan Smaill; Julian Richardson (ECP, 1999)

Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm. - Alessandro Armando; Alan Smaill; Ian Green (Autom. Softw. Eng., 1999)

Recursive Program Optimization Through Inductive Synthesis Proof Transformation. - Peter Madden; Alan Bundy; Alan Smaill (J. Autom. Reason., 1999)

Musical Knowledge: What can Artificial Intelligence Bring to the Musician? - Geraint A. Wiggins; Alan Smaill (Readings in Music and Artificial Intelligence, 2000)

Logic Program Synthesis in a Higher-Order Setting. - David Lacey; Julian Richardson; Alan Smaill (Computational Logic, 2000)

Local Search on Random 2+p-SAT. - Josh Singer; Ian P. Gent; Alan Smaill (ECAI, 2000)

Backbone Fragility and the Local Search Cost Peak. - Josh Singer; Ian P. Gent; Alan Smaill (J. Artif. Intell. Res., 2000)

Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. - Louise A. Dennis; Alan Smaill (TPHOLs, 2001)

Proof planning Non-standard Analysis. - Ewen Maclean; Jacques D. Fleuriot; Alan Smaill (AI&M, 2002)

Proof Planning for Feature Interactions: A Preliminary Report. - Claudio Castellini; Alan Smaill (LPAR, 2002)

A Systematic Presentation of Quantified Modal Logics. - Claudio Castellini; Alan Smaill (Log. J. IGPL, 2002)

Agent Protocols as Executable Ontologies. - Manuel José Contreras M.; Alan Smaill (MICAI, 2004)

Proof Planning for First-Order Temporal Logic. - Claudio Castellini; Alan Smaill (CADE, 2005)

Deductive synthesis of workflows for e-Science. - Bin Yang; Alan Bundy; Alan Smaill; Lucas Dixon (CCGRID, 2005)

MAMA: An Architecture for Interactive Musical Agents. - David Murray-Rust; Alan Smaill; Michael Edwards (ECAI, 2006)

A Fuzzy Action Selection Method for Virtual Agent Navigation in Unknown Virtual Environments. - Jafreezal Jaafar; Eric McKenzie; Alan Smaill (FUZZ-IEEE, 2007)

Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures. - Maciej Zurawski; Alan Smaill; Dave Robertson 001 (ASWC, 2008)

Concurrent-distributed programming techniques for SAT using DPLL-stålmarck. - G. Sripriya; Alan Bundy; Alan Smaill (HPCS, 2009)

A Formal Cognitive Model of Mathematical Metaphors. - Markus Guhe; Alan Smaill; Alison Pease (KI, 2009)

Plans, Actions and Dialogues Using Linear Logic. - Lucas Dixon; Alan Smaill; Tracy Tsang (J. Log. Lang. Inf., 2009)

Some Aspects of Analogical Reasoning in Mathematical Creativity. - Alison Pease; Markus Guhe; Alan Smaill (ICCC, 2010)

Automation for Dependently Typed Functional Programming. - Sean Wilson; Jacques D. Fleuriot; Alan Smaill (Fundam. Informaticae, 2010)

Towards a model of musical interaction and communication. - David Murray-Rust; Alan Smaill (Artif. Intell., 2011)

A computational account of conceptual blending in basic mathematics. - Markus Guhe; Alison Pease; Alan Smaill; Maricarmen Martínez; Martin Schmidt 002; Helmar Gust; Kai-Uwe Kühnberger; Ulf Krumnack (Cogn. Syst. Res., 2011)

The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling. - Louise A. Dennis; Ian Green; Alan Smaill (J. Autom. Reason., 2011)

Theory Exploration: a role for Model Theory? - Alan Smaill (ATx/WInG@IJCAR, 2012)

Developments in Research on Mathematical Practice and Cognition. - Alison Pease; Markus Guhe; Alan Smaill (Top. Cogn. Sci., 2013)

Algorithmic Aspects of Theory Blending. - Maricarmen Martínez; Ulf Krumnack; Alan Smaill; Tarek Richard Besold; Ahmed M. H. Abdel-Fattah; Martin Schmidt 002; Helmar Gust; Kai-Uwe Kühnberger; Markus Guhe; Alison Pease (AISC, 2014)

COINVENT: Towards a Computational Concept Invention Theory. - Marco Schorlemmer; Alan Smaill; Kai-Uwe Kühnberger; Oliver Kutz; Simon Colton; Emilios Cambouropoulos; Alison Pease (ICCC, 2014)

The role of blending in mathematical invention. - Félix Bou; Marco Schorlemmer; Joseph Corneli; Danny Gómez-Ramírez; Ewen Maclean; Alan Smaill; Alison Pease (ICCC, 2015)

Theory blending: extended algorithmic aspects and examples. - Maricarmen Martínez; Ahmed M. H. Abdel-Fattah; Ulf Krumnack; Danny Gómez-Ramírez; Alan Smaill; Tarek Richard Besold; Alison Pease; Martin Schmidt 002; Markus Guhe; Kai-Uwe Kühnberger (Ann. Math. Artif. Intell., 2017)

Formal Conceptual Blending in the (Co-)Invention of (Pure) Mathematics. - Danny de Jesús Gómez-Ramírez; Alan Smaill (Concept Invention, 2018)

Patterns of Design. - Joseph Corneli; Simon Holland; Alison Pease; Paul Mulholland; Dave Murray-Rust; Theodore Scaltsas; Alan Smaill (EuroPLoP, 2018)

ABC Repair System for Datalog-like Theories. - Xue Li 018; Alan Bundy; Alan Smaill (KEOD, 2018)