| |
| 1989 | ||
|---|---|---|
| 3 | Arnold Oberschelp: Order Sorted Predicate Logic. Sorts and Types in Artificial Intelligence 1989: 8-17 | |
| 1976 | ||
| 2 | G. H. Muller, Arnold Oberschelp, K. Potthoff: European Meeting of the Association for Symbolic Logic, Kiel, Federal Republic of Germany, 1974. J. Symb. Log. 41(1): 261-278 (1976) | |
| 1968 | ||
| 1 | Arnold Oberschelp: On the Craig-Lyndon Interpolation Theorem. J. Symb. Log. 33(2): 271-274 (1968) | |
| 1 | G. H. Muller | [2] |
| 2 | K. Potthoff | [2] |