Automata, tableaus and a reduction theorem for fixpoint calculi in arbitrary complete lattices | IEEE Conference Publication | IEEE Xplore