Proceedings of the fourth international conference on Information and knowledge management December 1995

• Stephen Correl , Daniel P. Miranker (1995) Stephen Correl , Daniel P. Miranker "On isolation, concurrency, and the Venus rule language"
• Tammet,Tanel (1995) Tammet,Tanel "Using resolution for extending KL-ONE-type languages"