You could search “decompilation into logic.”