Revised final abridged version, edited by Nino Ruffini.
Games, authors, history, statistics, interpreters, and tools by Paul David Doherty (v4.8, 03sep95).
Game information table by Paul D. Smith (13jan93)
Written by Stefan Jokisch. Last updated 08feb95.
Written by Gareth Rees, January 1995.