Reference author: Grant Weddell

Coburn, N., & Weddell, G. (1991). Path Constraints for Graph-Based Data Models: Towards a Unified Theory Of Typing Constraints, Equations, and Functional Dependencies Presented at the Path Constraints for Graph-Based Data Models: Towards a Unified Theory Of Typing Constraints, Equations, and Functional Dependencies conference. https://doi.org/10.1007/3-540-55015-1_17

Coburn, N., & Weddell, G. (1993). A Logic for Rule-Based Query Optimization in Graph-Based Data Models Presented at the A Logic for Rule-Based Query Optimization in Graph-Based Data Models conference. https://doi.org/10.1007/3-540-57530-8_8

Borgida, A., & Weddell, G. (1997). Adding Uniqueness Constraints to Description Logics (Preliminary Report) Presented at the Adding Uniqueness Constraints to Description Logics (Preliminary Report conference. https://doi.org/10.1007/3-540-63792-3_10

Stanchev, L., & Weddell, G. (2002). Index Selection for Compiled Database Applications in Embedded Control Programs Presented at the Selection for Compiled Database Applications in Embedded Control Programs conference. Retrieved from https://dl.acm.org/citation.cfm?id=782126

Stanchev, L., & Weddell, G. (2003). Index Selection for Embedded Control Applications Using Description Logics Presented at the Election for Embedded Control Applications Using Description Logics conference. Retrieved from http://ceur-ws.org/Vol-81/stanchev.pdf

Yu, H., & Weddell, G. (2004). Investigations in Tree Locking for Compiled Database Applications Presented at the Investigations in Tree Locking for Compiled Database Applications conference. Retrieved from https://dl.acm.org/citation.cfm?id=1034931

Hudek, A. K., & Weddell, G. (2006). Binary Absorption in Tableaux-Based Reasoning for Description Logics Presented at the Binary Absorption in Tableaux-Based Reasoning for Description Logics conference. Retrieved from http://ceur-ws.org/Vol-189/submission_34.pdf

Ben-David, S., Trefler, R. J., & Weddell, G. (2006). Model Checking the Basic Modalities of CTL With Description Logic Presented at the Model Checking the Basic Modalities of CTL With Description Logic conference. Retrieved from http://ceur-ws.org/Vol-189/submission_33.pdf

Ben-David, S., Trefler, R. J., & Weddell, G. (2007). Bounded Model Checking With Description Logic Reasoning Presented at the Bounded Model Checking With Description Logic Reasoning conference. https://doi.org/10.1007/978-3-540-73099-6_7

Ben-David, S., Trefler, R. J., & Weddell, G. (2007). Modal vs. Propositional Reasoning for Model Checking With Description Logics Presented at the Modal Vs. Propositional Reasoning for Model Checking With Description Logics conference. Retrieved from http://ceur-ws.org/Vol-250/paper_65.pdf