Временные многоагентные логики и проблема унификации
кандидатская диссертация / автореферат