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

by D Goyal, R Paige
Venue:In Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi