Raju Halder, Agostino Cortesi: Cooperative Query Answering by Abstract Interpretation. SOFSEM 2011: 284-296