Rook Endgame Problem in m by n Chess

Paper:

1)Rook Endgame Problem in m by n Chess

Programs:

2) Program accompany the paper for an implement of symbolic finite state method.

Input-Output File for conjectures of positions from a 3 by n board.

Input-Output File for the proof of conjectures.

3) Program accompany the paper to find mate in # on an m by n board.