1996 | ||
---|---|---|
2 | David E. Leasure: Temporal Reasoning with the Modal Logic Z. Computational Intelligence 12: 407-422 (1996) | |
1994 | ||
1 | EE | David E. Leasure, Carlos Araya: Defaults and the Frame Law Applied to Over-Constrained Problems in Constraint-Based Design Systems. IEA/AIE 1994: 485-489 |
1 | Carlos Araya | [1] |