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