Russian
правило преобразования Portuguese
regra de inferencia Spanish
reglas de inferencia Catalan
regla d'inferència Systematic logical process capable of deriving a conclusion from hypotheses.
1
In this article we describe software that formalizes and automates some of these rules of inference to yield a useful map construction utility called CPROP.