Qiana: A First-Order Formalism to Quantify over Contexts and Formulas.

Simon Coumes, Pierre-Henri Paris, Franois Schwarzentruber, Fabian M. Suchanek

Browse the full KR paper archive.