Login / Signup

Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability.

Ian HorrocksPeter F. Patel-Schneider
Published in: J. Autom. Reason. (2002)
Keyphrases