Nicolas Fröhlich, Arne Meier. Submodel Enumeration of Kripke Structures in Modal Logic. In David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat, editors, Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. pages 391-406, College Publications, 2022.
@inproceedings{FrohlichM22,
title = {Submodel Enumeration of Kripke Structures in Modal Logic},
author = {Nicolas Fröhlich and Arne Meier},
year = {2022},
researchr = {https://researchr.org/publication/FrohlichM22},
cites = {0},
citedby = {0},
pages = {391-406},
booktitle = {Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022},
editor = {David Fernández Duque and Alessandra Palmigiano and Sophie Pinchinat},
publisher = {College Publications},
isbn = {978-1-84890-413-2},
}