@techreport{aucher:hal-03800070,
TITLE = {A Characterization of Properly Displayable Atomic and Molecular Logics},
AUTHOR = {Aucher, Guillaume},
URL = {https://inria.hal.science/hal-03800070},
TYPE = {Research Report},
INSTITUTION = {Universit{\'e} de Rennes 1},
YEAR = {2022},
MONTH = Oct, PDF = {https://inria.hal.science/hal-03800070/file/AtomicMolecularLogicsCorrespondenceTheoryPart3.pdf},
HAL_ID = {hal-03800070},
HAL_VERSION = {v1},
}