The latest version of logic-classes is 1.7.1-0.

Data.Logic.Harrison.DP

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?