The power of reflective relational machines (1994)

by S Abiteboul, C H Papadimitriou, V Vianu
Venue:in: Proc. 9th Symposium on Logic in Computer Science