Implicit Prime Cover Computation : An OverviewOlivier