Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev. Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs. In Dines Bjørner, Manfred Broy, Alexandre V. Zamulin, editors, Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings. Volume 1755 of Lecture Notes in Computer Science, pages 228-234, Springer, 1999. [doi]
Abstract is missing.