DROPS - Results

No.	Title	Author	Year
1	Normal Form Theorem for Logic Programs with Cardinality Constraints	Marek, Victor W. et al.	2005
2	Set Based Logic Programming	Remmel, Jeffrey B. et al.	2005