Gregory M. Provan: Approximation Techniques for Space-Efficient Compilation in Abductive Inference. ISAIM 2008