Philippe Schnoebelen, 3 Apr 1995
I have just received a copy of the paper
An Expert System for Solving Retrograde-Analysis Chess Problems B. E. P. Alden and M. A. Bramer Int. J. Man-Machine Studies 29(2), 1988. pp 97-112.
This work seems mainly motivated by the problems from Smullyan's Sherlock Holmes book. [I also have an earlier Alden and Bramer paper in a conference proceedings.]