Tractable reasoning via approximation
scientific article; zbMATH DE number 1863772
scientific article