publication venue for The formal reconstruction and speedup of linear time fragment of Willard's relational calculus subset 1997
