1. Serge Abiteboul Richard Hull and Victor Vianu (Eds.). . 1995. Foundations of Databases: The Logical Level (bibinfoedition1st ed.). Addison-Wesley Longman Publishing Co. Inc. Boston MA USA. Serge Abiteboul Richard Hull and Victor Vianu (Eds.). . 1995. Foundations of Databases: The Logical Level (bibinfoedition1st ed.). Addison-Wesley Longman Publishing Co. Inc. Boston MA USA.
2. ONOS
3. Updating derived relations: detecting irrelevant and autonomously computable updates
4. Philip Taylor and Timothy Griffin. 2009. A model of configuration languages for routing protocols PRESTO. 10.1145/1592631.1592645 Philip Taylor and Timothy Griffin. 2009. A model of configuration languages for routing protocols PRESTO. 10.1145/1592631.1592645
5. Ravel