Journal article

An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs

DB Kemp, K Ramamohanarao, PJ Stuckey

Journal of Systems Integration | Published : 1997