You are here

Abstract Diagnosis of First Order Functional Logic Programs

G. Bacci and Comini, M., “Abstract Diagnosis of First Order Functional Logic Programs”, Logic-based Program Synthesis and Transformation, 20th International Symposium, vol. 6564. Springer-Verlag, Berlin, p. 215--233, 2011.