Sanjay Manchanda. Higher-Order Logic As a Data Model. In Richard Hull, Ronald Morrison, David W. Stemple, editors, Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon. pages 330-341, Morgan Kaufmann, 1989. [doi]
@inproceedings{Manchanda89:0,
title = { Higher-Order Logic As a Data Model},
author = {Sanjay Manchanda},
year = {1989},
tags = {data-flow, logic},
researchr = {https://researchr.org/publication/Manchanda89%3A0},
cites = {0},
citedby = {0},
pages = {330-341},
booktitle = {Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon},
editor = {Richard Hull and Ronald Morrison and David W. Stemple},
publisher = {Morgan Kaufmann},
isbn = {1-55860-072-8},
}