Using Static Analysis to Compile non-Sequential Functional Logic Programs | part of Logic Programming: Proceedings of the 1999 International Conference on Logic Programming | MIT Press books | IEEE Xplore