Resolution Theorem Proving in Reified Modal Logics

From Tetherless World Wiki

\begin{bibtex} @article{DBLP:journals/jar/AitkenRS94, title={Resolution Theorem Proving in Reified Modal Logics}, pages={103-130}, year={1994}, volume={12}, journal={J. Autom. Reasoning}, number={1}, url={http://www.informatik.uni-trier.de/~ley/db/journals/jar/jar12.html#AitkenRS94}, author={J. Stuart Aitken and Han Reichgelt and Nigel Shadbolt} }\end{bibtex}