Recognition of Deductive Data Base Stability

Michael I. Dekhtyar, Alexander Ja. Dikovsky. Recognition of Deductive Data Base Stability. In Sergei I. Adian, Anil Nerode, editors, Logical Foundations of Computer Science, 4th International Symposium, LFCS 97, Yaroslavl, Russia, July 6-12, 1997, Proceedings. Volume 1234 of Lecture Notes in Computer Science, pages 67-77, Springer, 1997.

Abstract

Abstract is missing.