@Article{Zha00,
    Author       = "Zhang, J.",
    Year         = "2000",
    Title        = "{Test Problem and Perl Scripts for Finite Model Searching}",
    Journal      = "Association for Automated Reasoning Newsletter",
    Number       = "47",
    Comment      = "TPTPRef"
}