Thomas Vasak John Potter Metalogical Control for Logic Programs. 203-220 1985 2 J. Log. Program. 3 db/journals/jlp/jlp2.html#VasakP85 http://dx.doi.org/10.1016/0743-1066(85)90019-6