1. MCC 0.9.12-dev: The Munster Curry Compiler, 27 July 2015. http://danae.uni-muenster.de/curry/
2. Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40(1), 795–829 (2005)
3. Alqaddoumi, A., Antoy, S., Fischer, S., Reck, F.: The pull-tab transformation. In: Third International Workshop on Graph Computation Models, Enschede, The Netherlands (2010)
4. Lecture Notes in Computer Science;S Antoy,1992
5. Antoy, S.: On the correctness of pull-tabbing. Theory Prac. Log. Program. (TPLP) 11(4–5), 713–730 (2011)