TPTP Reference: PM93
@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"
}