A comparison of fuzzy and annotated logic programming
Continuous semantics and computable fixpoint
scientific article; zbMATH DE number 2083352