| |
| 1992 | ||
|---|---|---|
| 2 | Fabio Baj, Michael Rosner: Automatic Theorem Proving within the Portable AI Lab. Logic Programming Summer School 1992: 313-324 | |
| 1976 | ||
| 1 | Patrick J. Hayes, Michael Rosner: Ully: A Program for Handling Conversations. AISB (ECAI) 1976: 137-147 | |
| 1 | Fabio Baj | [2] |
| 2 | Patrick J. Hayes | [1] |