Tom Schrijvers Bart Demoen David Scott Warren TCHR: a framework for tabled CLP. 491-526 2008 8 TPLP 4 http://dx.doi.org/10.1017/S147106840800327X db/journals/tplp/tplp8.html#SchrijversDW08