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.
No references recorded for this publication.
No citations of this publication recorded.