| |
| 1992 | ||
|---|---|---|
| 3 | Antonius Klingler, Volker Penner: Parallelizing Recursive Logic Programs through Decomposition. PARLE 1992: 967-968 | |
| 1986 | ||
| 2 | Volker Penner: Programmverifikation. KIFS 1986: 134-182 | |
| 1973 | ||
| 1 | Volker Penner: Über eine Hierarchie von Push-Down-entscheidbaren Mengen. Automatentheorie und Formale Sprachen 1973: 254-262 | |
| 1 | Antonius Klingler | [3] |