Deductive Inference Operations.

Michael Freund, Daniel Lehmann

Browse the full JELIA paper archive.