M. K. Valiev
-
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics