1. Walsh, T.: A Theory of Abstraction. PhD thesis, University of Edinburgh (1991)
2. Giunchiglia, F., Walsh, T.: A Theory of Abstraction. Artificial Intelligence 56(2–3) (1992) 323–390 Also available as DAI Research Paper No 516, Dept. of Artificial Intelligence, Edinburgh.
3. Giunchiglia, F., Villafiorita, A., Walsh, T.: Theories of abstraction. AI Communications 10(3,4) (1997) 167–176
4. Rossi, F., van Beek, P., Walsh, T., eds.: Handbook of Constraint Programming. Foundations of Artificial Intelligence. Elsevier (2006)
5. Biere, A., Heule, M., van Maaren, H., Walsh, T., eds.: Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications. IOS Press (2009)