| |
| 1995 | ||
|---|---|---|
| 2 | Benny Gothard, Mark C. Allmen, Michael J. Carroll, Dan Rich: Development for SSV on a parallel processing system (PARAGON). Mobile Robots 1995: 134-144 | |
| 1979 | ||
| 1 | Michael J. Carroll: Reduction to First Degree in Quantificational S5. J. Symb. Log. 44(2): 207-214 (1979) | |
| 1 | Mark C. Allmen | [2] |
| 2 | Benny Gothard | [2] |
| 3 | Dan Rich | [2] |