Michael C. Rubenstein Richard M. Salter Computationally Extended Logic Programming. 1-7 1987 12 Comput. Lang. 1 db/journals/cl/cl12.html#RubensteinS87