FinalPuzzleToolPaper.ps   Final version of paper for TPHOLs2002
 
PuzzleToolPaper.ps        Longer version of paper that was submitted
                          (contains appendices with the results of invoking 
                          puzzleTool on the two solitaire games)

talk.ps                   TPHOLs2002 talk slides