About the reliability of nonbranching programs in the basis of a generalized conjunction

From MaRDI portal
Publication:5263759