Constrained Default Logic Programming.

Shutao Zhang, Zhizheng Zhang, Jun Shen

Browse the full ICLP paper archive.