@techreport{aucher:hal-03800044,
TITLE = {Correspondence Theory for Atomic Logics},
AUTHOR = {Aucher, Guillaume},
URL = {https://inria.hal.science/hal-03800044},
TYPE = {Research Report},
INSTITUTION = {Universit{\'e} de Rennes 1},
YEAR = {2022},
MONTH = Oct, PDF = {https://inria.hal.science/hal-03800044/file/AtomicMolecularLogicsCorrespondenceTheoryPart2.pdf},
HAL_ID = {hal-03800044},
HAL_VERSION = {v1},
}