Functional-logic integration via minimal reciprocal extensions
scientific article; zbMATH DE number 1238988
scientific article