A constructive proof of Craig's interpolation lemma for m-valued logic
scientific article; zbMATH DE number 3689367