Techniques for Scaling Up Analyses Based on Pre-interpretations.

John P. Gallagher, Kim S. Henriksen, Gourinath Banda

Browse the full ICLP paper archive.