Metalogical Control for Logic Programs. - Thomas Vasak; John Potter (J. Log. Program., 1985)

Characterisation of Terminating Logic Programs. - Thomas Vasak; John Potter (SLP, 1986)

A Survey of Control Facilities in Logic Programming. - Thomas Vasak (Aust. Comput. J., 1986)

Universal closure operator for prolog. - Thomas Vasak (ACM SIGPLAN Notices, 1986)