@TechReport{PM93-TR,
    Author       = "Padmanabhan, R. and McCune, W.W.",
    Year         = "1993",
    Title        = "{Automated Reasoning about Cubic Curves}",
    Number       = "NEED",
    Institution  = "University of Manitoba, Argonne National Laboratory",
    Address      = "Manitoba, Canada"
}

@TechReport{PM93-TR-100,
    Author       = "Peli, G. and Masuch, M.",
    Year         = "1993",
    Title        = "{The Logic of Propogation Strategies: Axiomatizing a
                    Fragment of Organizational Ecology in First-Order Logic}",
    Number       = "CCSOM Report 93-100",
    Institution  = "Department of Statistics and Methodology, University of
                    Amsterdam",
    Comment      = "TPTPRef"
}