An Order-Sorted Resolution with Implicitly Negative Sorts.

Ken Kaneiwa, Satoshi Tojo

Browse the full ICLP paper archive.