Resolution Theorem Proving in Reified Modal Logics

Authors
J.S.Aitken,H.Reichgelt,N.Shadbolt
Citation
J.s.aitken,h.reichgelt,n.shadbolt, Resolution Theorem Proving in Reified Modal Logics, Journal of automated reasoning , 12(1), 1994, pp. 103-130
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
1
Year of publication
1994
Pages
103 - 130
Database
ACNP
SICI code