Data.Logic.ATP.Resolution

match_atoms

match_atoms_eq

resolution1

resolution2

resolution3

presolution

davis_putnam_example_formula

testResolution