Resolution Theorem Proving in Reified Modal Logics

Has publishing details 12(1):103-130, 1994

Has title Resolution Theorem Proving in Reified Modal Logics

Has url http://www.informatik.uni-trier.de/~ley/db/journals/jar/jar12.html#AitkenRS94

Has where published J. Autom. Reasoning

Has year 1994

Has author J. Stuart Aitken +, Han Reichgelt +, Nigel Shadbolt +

Has identifier Resolution Theorem Proving in Reified Modal Logics +

Categories Journal Paper +