@inproceedings{Crapo1982UnitiesAN, title={Unities and negation: on the representation of finite lattices}, author={Henry Crapo}, year={1982} }