The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset (1997)

by Deepak Goyal, Robert Paige
Venue:In Bird and Meertens, editors, Algorithmic Languages and Calculi