Angelo Montanari, Alberto Policriti, Matteo Slanina. Alternative Translation Techniques for Propositional and First-Order Modal Logics. Journal of Automated Reasoning, 28(5):397-415, 2002.
@article{MontanariPS02,
title = {Alternative Translation Techniques for Propositional and First-Order Modal Logics},
author = {Angelo Montanari and Alberto Policriti and Matteo Slanina},
year = {2002},
tags = {translation, modal logic, logic},
researchr = {https://researchr.org/publication/MontanariPS02},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {28},
number = {5},
pages = {397-415},
}