Mark Wallace A Computable Semantics for General Logic Programs. 269-297 1989 6 J. Log. Program. 3 db/journals/jlp/jlp6.html#Wallace89