Roman Barták

An Introduction to Constraint-Based Temporal Reasoning

Подробнее