Parallelizing the backward narrowing at each layer in step (1) and the transition subsumption in step (2) significantly improves the runtime performance of Maude-NPA. The study reports speedups of 82% ...

Introduction Anaemia is highly prevalent among the indigenous population globally. Several interventions have been used to prevent and manage nutritional anaemia, including dietary measures, health ...