Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M. An integrated framework for the diagnosis and correction of rule-based programs. (English) Zbl 1205.68113 Theor. Comput. Sci. 411, No. 47, 4055-4101 (2010). MSC: 68N17 × Cite Format Result Cite Review PDF Full Text: DOI
Arenas-Sánchez, Puri; Rodríguez-Artalejo, Mario A general framework for lazy functional logic programming with algebraic polymorphic types. (English) Zbl 1066.68511 Theory Pract. Log. Program. 1, No. 2, 185-245 (2001). MSC: 68N17 × Cite Format Result Cite Review PDF