On congruences, filters and ideals in semilattices
Search for very high energy gamma-rays from pulsars