@INPROCEEDINGS{Consens1990,
author = {Mariano P. Consens and Alberto O. Mendelzon},
title = {{GraphLog}: a visual formalism for real life recursion},
booktitle = {Proc. of the ACM Symp. on Principles of Database Systems},
year = {1990},
pages = {404--416}
}