@Article{KNR07,
    Author       = "Kuncak, V. and Hguyen, H. and Rinard, M.",
    Year         = "2007",
    Title        = "{Deciding Boolean Algebra with Presburger Arithmetic}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "36",
    Number       = "3",
    Pages        = "213-239",
    Comment      = "TPTPCite,TPTPRef"
}