Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics.

James J. Lu, Neil V. Murray, Erik Rosenthal

Browse the full ISMIS paper archive.