Allen Van Gelder
Deriving Constraints Among Argument Sizes in Logic Programs
PODS, 1990.
@inproceedings{PODS-1990-Gelder, author = "Allen Van Gelder", booktitle = "{Proceedings of the Ninth Symposium on Principles of Database Systems}", cdrom = "['journals/anthology/cd1-3:PODS90/P047.PDF', 'journals/anthology/dvd1:text/1-3/PODS90/P047.PDF']", doi = "10.1145/298514.298541", isbn = "0-89791-352-3", pages = "47--60", publisher = "{ACM Press}", title = "{Deriving Constraints Among Argument Sizes in Logic Programs}", year = 1990, }