1. A Theory of Objects;Abadi,1996
2. Object-oriented first-order logic;Amir;Electron. Trans. Artificial Intelligence,1999
3. (De)Composition of situation calculus theories;Amir,2000
4. A temporal description logic for reasoning about actions and plans;Artale;J. Artificial Intelligence Res.,1998
5. Object-Oriented Design with Applications;Booch,1991