A Query Evaluation Method for Stratified Programs Under the Extended CWA.

Hirohisa Seki, Hidenori Itoh

Browse the full ICLP paper archive.