псы в рапиде » from archive
Gaperton's blog - Декларативное планирование revisited: темпоральная логика - http://gaperton.livejournal.com/30325.html