Computational adequacy of the FIX-logic
scientific article; zbMATH DE number 983731