Blunder Cost in Go and Hex. - Henry Brausen; Ryan B. Hayward; Martin Müller 003; Abdul Qadir; David Spies (ACG, 2011)

Mutex Graphs and Multicliques: Reducing Grounding Size for Planning. - David Spies; Jia-Huai You; Ryan Hayward (ICLP Technical Communications, 2019)

Domain-Independent Cost-Optimal Planning in ASP. - David Spies; Jia-Huai You; Ryan Hayward (Theory Pract. Log. Program., 2019)