Cited By
View all- Sachdev STrudel A(2003)The Formal Specification and Implementation of a Modest First Order Temporal LogicIntelligent Problem Solving. Methodologies and Approaches10.1007/3-540-45049-1_54(443-452)Online publication date: 18-Apr-2003
- Schlieder CHagen C(2000)Interactive Layout Generation with a Diagrammatic Constraint LanguageSpatial Cognition II10.1007/3-540-45460-8_15(198-211)Online publication date: 17-Nov-2000