Modelling the Game of Life using Logic Programs (2000)
[BibTex]