Stefan Decker, Christoph Lingenfelder. Universally Quantified Queries in Language with Order-Sorted Logics. In Hans Jürgen Ohlbach, editor, GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings. Volume 671 of Lecture Notes in Computer Science, pages 267-271, Springer, 1992.
@inproceedings{DeckerL92,
title = {Universally Quantified Queries in Language with Order-Sorted Logics},
author = {Stefan Decker and Christoph Lingenfelder},
year = {1992},
tags = {logic, query language},
researchr = {https://researchr.org/publication/DeckerL92},
cites = {0},
citedby = {0},
pages = {267-271},
booktitle = {GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992, Proceedings},
editor = {Hans Jürgen Ohlbach},
volume = {671},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56667-8},
}