Agneta Eriksson: Computer-based synthesis of logic programs. Symposium on Programming 1982: 105-115