Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach

From MaRDI portal
(Redirected from Publication:2219192)