publication venue for A Tableaux Procedure for the Implication Problem for Association Rules 2001 Interpretation of Tabular Expressions Using Arrays of Relations 2001
