TPTP Reference: Ver01
@Article{Ver01-JAR2,
Author = "Veroff, R.",
Year = "2001",
Title = "{Finding Shortest Proofs: An Application of Linked
Inference Rules}",
Journal = "Journal of Automated Reasoning",
Volume = "27",
Number = "2",
Pages = "123-139",
Comment = ""
}
@Article{Ver01-JAR,
Author = "Veroff, R.",
Year = "2001",
Title = "{Solving Open Questions and other Challenge Problems using
Proof Sketches}",
Journal = "Journal of Automated Reasoning",
Volume = "27",
Number = "2",
Pages = "157-174",
Comment = ""
}
@Article{Ver01,
Author = "Veroff, R.",
Year = "2001",
Title = "{A Strategy for Proving Theorems in Many-Valued Logic}",
Journal = "AAR Newsletter",
Volume = "53",
Comment = "TPTPRef"
}