Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP.

Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski

Browse the full ICLP paper archive.