| |
| 1986 | ||
|---|---|---|
| 3 | Thomas Vasak, John Potter: Characterisation of Terminating Logic Programs. SLP 1986: 140-147 | |
| 2 | Thomas Vasak: A Survey of Control Facilities in Logic Programming. Australian Computer Journal 18(3): 136-145 (1986) | |
| 1985 | ||
| 1 | Thomas Vasak, John Potter: Metalogical Control for Logic Programs. J. Log. Program. 2(3): 203-220 (1985) | |
| 1 | John Potter | [1] [3] |