Skip to content

An Algorithm for General Set Unification and its Complexity.

Frieder Stolzenburg

VenueBICLP
Year1993
ProceedingsICLP Workshop on Logic Programming with Sets

Browse the full ICLP paper archive.