Author: Symposium on Logic Programming (4th 1987 San Francisco, Calif.)