Data.Logic.Harrison.Resolution

resolution1

resolution2

resolution3

presolution

matchAtomsEq