Probably Approximately Optimal Derivation Strategies.

Russell Greiner, Pekka Orponen

Browse the full KR paper archive.