Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain

Baudouin Le Charlier, Pascal Van Hentenryck

Browse the full PEPM paper archive.