Method of Limiting Generalizations for Solving Logical and Computing Tasks Yuriy Prokopchuk Institute of Technical Mechanics of NASU & NSAU, Ukrainian.
Some definitions : < O, k > is the model of the subject domain, where