Oulie
Constraints and Databases by Raghu Ramakrishnan, Peter Stuckey — Oulie