Cooperative Query Answering by Abstract Interpretation.

Raju Halder, Agostino Cortesi

Browse the full SOFSEM paper archive.