A mechanical proof of Segall's PIF algorithm
propagation of information with feedback
scientific article; zbMATH DE number 1045402