@Unpublished{PP95,
    Author       = "Paramasivam, M. and Plaisted, D.",
    Year         = "1995",
    Title        = "{Automated Deduction Techniques for Classification in
                    Concept Languages}",
    Comment      = "TPTPRef"
}