Knowledge of Uncertain Worlds: Programming with Logical Constraints.

Yanhong A. Liu, Scott D. Stoller

Browse the full LFCS paper archive.