Your search returned the following 2 documents:

2. Progress on Certifying Algorithms
   Kurt Mehlhorn and Pascal Schweitzer
   In: Frontiers in Algorithmics : 4th International Workshop, FAW 2010, Wuhan, China, 2010, 1-5
   
1. Algorithmic Aspects of the Intersection and Overlap Numbers of a Graph
   Danny Hermelin, Romeo Rizzi, and Stephane Vialette
   In: Algorithms and Computation : 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, 2012, 465-474