1. Data model issues for object-oriented applications;Banerjee;ACM Trans. Office Information Systems,1987
2. Concurrency Control and Recovery in Database Systems;Bernstein,1987
3. Checking consistency of database constraints: a logical basis;Bry,1986
4. Solving mechanics problems using meta-level inference;Bundy,1979
5. Parlog: parallel programming in logic;Clark;ACM Trans. on Programming Language and Systems,1986