Return to Article Details Solving logical tasks based on predicate models using generator of configurations Download Download PDF