The Wayback Machine - https://web.archive.org/web/20231102032823/https://www.doc.ic.ac.uk/~rak/papers/LogicForProblemSolving.pdf