Extending semilattices is hard

Abstract

We show that the semilattice extension problem raised by Arbib and Manes in [2] is NP-hard, implying that no simple solution is likely to be forthcoming. © 1983 Birkhäuser Verlag.