@Article{Zha96,
    Author       = "Zhang, J.",
    Year         = "1996",
    Title        = "{Constructing Finite Algebras with FALCON}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "17",
    Number       = "1",
    Pages        = "1-22",
    Comment      = ""
}