| |
| 1991 | ||
|---|---|---|
| 3 | Thomas Filkorn, Richard Schmid, Erik Tidén, Peter Warkentin: Experiences from a Large Industrial Circuit Design Application. ISLP 1991: 581-595 | |
| 1990 | ||
| 2 | Wolfram Büttner, Klaus Estenfeld, Richard Schmid, Hans-Albert Schneider, Erik Tidén: Symbolic Constraint Handling Through Unification in Finite Algebras. Appl. Algebra Eng. Commun. Comput. 1: 97-118 (1990) | |
| 1989 | ||
| 1 | Richard Schmid, Hans-Albert Schneider, Thomas Filkorn: Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle. J. Autom. Reasoning 5(3): 403-408 (1989) | |
| 1 | Wolfram Büttner | [2] |
| 2 | Klaus Estenfeld | [2] |
| 3 | Thomas Filkorn | [1] [3] |
| 4 | Hans-Albert Schneider | [1] [2] |
| 5 | Erik Tidén | [2] [3] |
| 6 | Peter Warkentin | [3] |