In this paper, we describe in mathematical language a problem of reduction of a functional rule from aknowledge representation system(KRS). Then the invert rela
In order to go along the work of next generation network protocol conformance testing effectively and thorough, we bring forward a sign idea about test executin