Hannes Strass, Susana Muñoz-Hernández, Victor Pablos Ceruelo: Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers. IFSA/EUSFLAT Conf. 2009: 1827-1832