Improving the concurrency of integrity checks and write operations
In: Proceedings / ICDT '90, Third International Conference on Database Theory, Paris, France, December 12 - 14, 1990, Jg. 1990, S. 259-273
An inference engine for function free logic programs
In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Jg. 1990, S. 885-890Integrated predicative synchronization implemented in a federated DBMS
In: Tenth Annual International Phoenix Conference on Computers and Communications, Jg. 1991, S. 123-129Integrating a deductive database system with a Warren Abstract Machine
In: Proceedings of the International Symposium "Computational Intelligence 90", Jg. 1991, S. 19-24