• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Algorithmic aspects of propositional tense logics.

Lecture Notes in Computer Science. 1995. Vol. 933. P. 442-455.
Shehtman V. B., Chagrov A.