ML Anthology

McCune, William

2 publications

AAAI 1990 Skolem Functions and Equality in Automated Deduction William McCune
IJCAI 1983 Semantic Paramodulation for Horn Sets William McCune, Lawrence J. Henschen