@Article{Zha98,
    Author       = "Zhang, J.",
    Year         = "1998",
    Title        = "{Showing the Independence of An Axiom for Temporal
                    Intervals by Model Generation}",
    Journal      = "AAR Newsletter",
    Volume       = "40",
    Comment      = "TPTPRef"
}