Thomas Vasak

发表

Characterisation of Terminating Logic Programs

John Potter, Thomas Vasak, John Michael Potter, 1986, SLP.

A Survey of Control Facilities in Logic Programming

Thomas Vasak, 1986, Aust. Comput. J..

Metalogical Control for Logic Programs

John Potter, Thomas Vasak, 1985, J. Log. Program..