@Book{Wol02,
    Author       = "Wolfram, S.",
    Year         = "2002",
    Title        = "{A New Kind of Science}",
    Publisher    = "Wolfram Media",
    Comment      = "TPTPRef"
}