https://123dok.org/document/4zpmog7z-an-interactive-system-to-learn-functional-logic-programs.html