Witold Charatonik Supratik Mukhopadhyay Andreas Podelski Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. 115-129 2002 conf/iclp/2002 ICLP http://link.springer.de/link/service/series/0558/bibs/2401/24010115.htm db/conf/iclp/iclp2002.html#CharatonikMP02