Algorithm 1.

ICARUS Workflow

C: dataset
1:	while Percentage of missing cells > threshold do
2:	GENERATE_SUBSET(C)
3:	while user can edit do
4:	$t_i[c]=v\leftarrow$ user edit
5:	rules = GENERATE_INDEPENDENT_RULES(c,v,i) ∪
6:	GENERATE_DEPENDENT_RULES(c,v,i)
7:	if user accepts rule ∈ rules then
8:	apply rule to C
9:	end if
10:	end while
11:	end while